Update CI (Simplify CI tests)

2019-11-25 23:09:54 +01:00
1 parent 4fc48b490e
commit 82fd4c94db
@@ -13,5 +13,5 @@ jobs:
    - uses: actions/checkout@v1
    - name: make
      run: make
-    - name: make checkall
-      run: make checkall
+    - name: make check
+      run: make check