From 9a3ccc44f6da0872221612d940c1387fc370b570 Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Sat, 7 Oct 2023 12:24:59 -0600
Subject: [PATCH] Run prover tests on fast CI machines (#2108)

* .github/test-pr: run fonudry tests on fast CI runners

* Set Version: 1.0.312

* .github/test-pr: also run normal KClaim style proofs on fast CI runners

* Set Version: 1.0.313

* Set Version: 1.0.314

* .github/test-pr: reduce parallelism on test-suite

* .github/test-pr: correct way to adjust parallelism

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: rv-jenkins <admin@runtimeverification.com>
---
 .github/workflows/test-pr.yml     | 6 +++---
 kevm-pyk/pyproject.toml           | 2 +-
 kevm-pyk/src/kevm_pyk/__init__.py | 2 +-
 package/version                   | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index aadd258538..6a6d982155 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -125,7 +125,7 @@ jobs:
   test-prove:
     name: 'Build and Test KEVM proofs'
     needs: kevm-pyk-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
+    runs-on: [self-hosted, linux, normal, fast]
     strategy:
       fail-fast: false
       matrix:
@@ -154,7 +154,7 @@ jobs:
       - name: 'Build distribution'
         run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c 'CXX=clang++-14 poetry -C kevm-pyk run kevm-dist --verbose build -j`nproc` plugin haskell'
       - name: 'Prove Haskell'
-        run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c "make ${{ matrix.test-suite }} PYTEST_ARGS='-vv ${{ matrix.test-args }}'"
+        run: docker exec -u github-user kevm-ci-haskell-${{ matrix.test-suite }}-${{ github.sha }} /bin/bash -c "make ${{ matrix.test-suite }} PYTEST_ARGS='-vv ${{ matrix.test-args }}' PYTEST_PARALLEL=7"
       - name: 'Tear down Docker'
         if: always()
         run: |
@@ -163,7 +163,7 @@ jobs:
   test-prove-foundry:
     name: 'Build and Test KEVM Foundry proofs'
     needs: kevm-pyk-code-quality-checks
-    runs-on: [self-hosted, linux, normal]
+    runs-on: [self-hosted, linux, normal, fast]
     strategy:
       fail-fast: false
       matrix:
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 0b52988504..88a4c15ced 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.313"
+version = "1.0.314"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index aa7118da03..2e92eddbaa 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.313'
+VERSION: Final = '1.0.314'
diff --git a/package/version b/package/version
index e4cade8af0..7681bff51e 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.313
+1.0.314