Add prover machine (#15)

* Update test-pr.yml: add prover machine * Update test-pr.yml: change step name for running Kontrol
runtimeverification · Oct 30, 2023 · 8d26f7d · 8d26f7d
1 parent 162e5ef
commit 8d26f7d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -13,7 +13,7 @@ concurrency:
 jobs:
   new-version-test:
     name: 'Test Proofs'
-    runs-on: [self-hosted, linux, normal]
+    runs-on: [self-hosted, linux, prover]
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v3
@@ -40,7 +40,7 @@ jobs:
         with:
           container-name: '${{ env.repository_basename }}-ci'
 
-      - name: 'Test New Tool Versions'
+      - name: 'Run Kontrol'
         run: |
           # Run the following in the running docker container
           docker exec -u user ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'