Update check-dist workflow name (#710)

pull/810/head
Jeff Wen 2023-07-13 01:35:39 +08:00 committed by GitHub
parent e2d34eacc8
commit f8aa08ed8e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
name: Check dist/
name: Check dist
on:
push: