ci: remove apt install of catch2

libsemigroups · Oct 26, 2023 · 9b86198 · 9b86198
1 parent cfa7d03
commit 9b86198
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/runtests.yml b/.github/workflows/runtests.yml
@@ -28,12 +28,11 @@ jobs:
                 sudo apt-get --yes update
                 sudo apt-get install --yes ccache
                 sudo apt-get install --yes libbenchmark-dev
-                sudo apt-get install --yes catch2
          - name: "Build + run HPCombi tests . . ."
            run: |
               mkdir build
               cd build
               cmake -DBUILD_TESTING=1 -DCMAKE_BUILD_TYPE=Release ..
+              cd tests
               make
-              make test
-
+              ./test_all