Fix lint job to run lint instead of format

2021-11-19 00:41:51 +01:00 · 2021-11-19 00:41:51 +01:00 · fcedb8481b
parent 99620cab62
commit fcedb8481b
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@ -15,4 +15,4 @@ jobs:
      - name: Setup tools
        run: scripts/devsetup
      - name: Run linter
-        run: gdformat .
+        run: gdlint .