modifying

2026-06-09 11:34:10 +02:00
parent bf14ca7264
commit 1a2e916d6a
1 changed files with 2 additions and 1 deletions
@@ -12,7 +12,8 @@ jobs:
        uses: actions/checkout@v4
      - name:
        run: |
-          make install
+          make;
+          make install;
          sh maketestenv.sh
      - name: Run tests
        run: |