test not test-all in ci

Author: cristianoc

.github/workflows/ci.yml

@@ -16,13 +16,13 @@ jobs:
         # https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#example-including-additional-values-into-combinations
         include:
           - os: macos-latest
-            build: eval $(opam env) && cd analysis && make test-all
+            build: eval $(opam env) && cd analysis && make test
             artifact-folder: darwin
           - os: ubuntu-18.04
-            build: eval $(opam env) && cd analysis && make test-all
+            build: eval $(opam env) && cd analysis && make test
             artifact-folder: linux
           - os: windows-latest
-            build: "cd analysis && & $env:CYGWIN_ROOT\\bin\\ocaml-env exec -- make test-all"
+            build: "cd analysis && & $env:CYGWIN_ROOT\\bin\\ocaml-env exec -- make test"
             artifact-folder: win32
 
     runs-on: ${{matrix.os}}