github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-04-19 03:00:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

finalize github actions

Browse Source
This commit is contained in:
chyanju
2022-10-09 14:19:52 -07:00
parent c382bfe4d8
commit 3bd71a585f
1 changed files with 29 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
.github/workflows/docker-image.yml vendored
View File

@@ -32,30 +32,52 @@ jobs:
test-compile-circomlib:
needs: publish-docker
runs-on: ubuntu-latest
container: docker/picus:git-latest
container:
image: veridise/picus:git-${{ github.sha }}
credentials:
username: ${{ secrets.DOCKERHUB_USERNAME }}
password: ${{ secrets.DOCKERHUB_TOKEN }}
steps:
- uses: actions/checkout@v1
- name: linking circom
run: ln -s /root/.cargo/bin/circom /usr/bin/circom
- name: compile circomlib
run: bash ./scripts/prepare-circomlib.sh
test-z3-solving:
needs: test-circomlib-compilation
test-solve-with-z3:
needs: test-compile-circomlib
runs-on: ubuntu-latest
container: docker/picus:git-latest
container:
image: veridise/picus:git-${{ github.sha }}
credentials:
username: ${{ secrets.DOCKERHUB_USERNAME }}
password: ${{ secrets.DOCKERHUB_TOKEN }}
steps:
- uses: actions/checkout@v1
- name: linking circom
run: ln -s /root/.cargo/bin/circom /usr/bin/circom
- name: compile circomlib
run: bash ./scripts/prepare-circomlib.sh
- name: preparing rosette
run: raco pkg install --auto rosette
- name: run picus with z3, using v3
run: racket ./test-v3-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak
test-cvc5-solving:
needs: test-circomlib-compilation
test-solve-with-cvc5:
needs: test-compile-circomlib
runs-on: ubuntu-latest
container: docker/picus:git-latest
container:
image: veridise/picus:git-${{ github.sha }}
credentials:
username: ${{ secrets.DOCKERHUB_USERNAME }}
password: ${{ secrets.DOCKERHUB_TOKEN }}
steps:
- uses: actions/checkout@v1
- name: linking circom
run: ln -s /root/.cargo/bin/circom /usr/bin/circom
- name: compile circomlib
run: bash ./scripts/prepare-circomlib.sh
- name: preparing rosette
run: raco pkg install --auto rosette
- name: run picus with cvc5, using v3
run: racket ./test-v3-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/Decoder@multiplexer.r1cs --weak