Rename github workflow.

This commit is contained in:
hodanov committed 2023-10-30 13:10:59 +09:00
1 parent fafde9f50e
commit 48e1e20648
1 file changed
+1 -1
@@ -1,4 +1,4 @@
name: Style and Error check name: Lint-Python
on: [push] on: [push]