.github/test-pr: enable booster tests on CI for normal haskell profos

runtimeverification · Aug 23, 2023 · e0cddf8 · e0cddf8
1 parent 4cba5a8
commit e0cddf8
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -141,12 +141,33 @@ jobs:
         with:
           container-name: kevm-ci-haskell-${{ github.sha }}
       - name: 'Prove Haskell'
-        run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'make test-prove'
+        run: docker exec -u github-user kevm-ci-haskell-${GITHUB_SHA} /bin/bash -c 'make test-prove PYTEST_ARGS=-vv'
       - name: 'Tear down Docker'
         if: always()
         run: |
           docker stop --time=0 kevm-ci-haskell-${GITHUB_SHA}
 
+  test-prove-haskell:
+    name: 'Build and Test KEVM haskell proofs (booster)'
+    needs: kevm-pyk-code-quality-checks
+    runs-on: [self-hosted, linux, normal]
+    timeout-minutes: 120
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v3
+        with:
+          submodules: recursive
+      - name: 'Set up Docker'
+        uses: ./.github/actions/with-docker
+        with:
+          container-name: kevm-ci-haskell-booster-${{ github.sha }}
+      - name: 'Prove Haskell'
+        run: docker exec -u github-user kevm-ci-haskell-booster-${GITHUB_SHA} /bin/bash -c 'make test-prove PYTEST_ARGS="-vv --use-booster"'
+      - name: 'Tear down Docker'
+        if: always()
+        run: |
+          docker stop --time=0 kevm-ci-haskell-booster-${GITHUB_SHA}
+
   test-prove-foundry:
     name: 'Build and Test KEVM Foundry proofs'
     needs: kevm-pyk-code-quality-checks