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