Rename github workflow

This commit is contained in:
Oliver Walters committed 2022-05-20 23:35:20 +10:00
1 parent cd9af13e27
commit d898efdf6d
1 file changed
+1 -1
@@ -1,6 +1,6 @@
# Run flutter linting checks
name: lint
name: CI
on:
push: