rename the "check" target to "checkstyle".

also created a new "check" target which runs all tests, as it is common with GNU programs
2022-05-17 14:30:41 +02:00
parent 1a5852ab91
commit 75441afb71
3 changed files with 18 additions and 9 deletions
--- a/.github/workflows/snapshot-on-push-master.yml
+++ b/.github/workflows/snapshot-on-push-master.yml
@@ -48,7 +48,7 @@ jobs:

      - name: Do some simple style checks
        shell: bash
-        run: make -j2 check
+        run: make -j2 checkstyle
      - name: Build the tools.
        shell: bash
        run: |