Skip to content

Commit

Permalink
Run prover tests on fast CI machines (#2108)
Browse files Browse the repository at this point in the history
* .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 <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>
  • Loading branch information
3 people authored Oct 7, 2023
1 parent c937df7 commit 9a3ccc4
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 6 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/test-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down Expand Up @@ -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: |
Expand All @@ -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:
Expand Down
2 changes: 1 addition & 1 deletion kevm-pyk/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@
from typing import Final


VERSION: Final = '1.0.313'
VERSION: Final = '1.0.314'
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.313
1.0.314

0 comments on commit 9a3ccc4

Please sign in to comment.