From e0cddf8400da38cb159a78199f8dd90be3822e6c Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Wed, 23 Aug 2023 21:53:55 +0000
Subject: [PATCH] .github/test-pr: enable booster tests on CI for normal
 haskell profos

---
 .github/workflows/test-pr.yml | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index ead1de3413..196e24058a 100644
--- 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