Use temporary directory more effectively #107
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Docker Image CI | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| branches: [ "main" ] | |
| workflow_dispatch: | |
| jobs: | |
| test-solve-with-z3: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: veridise/picus:git-latest | |
| env: | |
| PLTADDONDIR: /root/.local/share/racket/ | |
| 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: run picus with z3, using v3 | |
| run: | | |
| racket ./picus.rkt \ | |
| --solver z3 \ | |
| --r1cs ./benchmarks/circomlib-cff5ab6/[email protected] \ | |
| --weak | \ | |
| tee result.out | |
| shell: bash # this ensures that pipefail is set | |
| - name: test expected result | |
| run: | | |
| grep "^# weak uniqueness: unsafe\.$" ./result.out | |
| test-circom-mode: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: veridise/picus:git-latest | |
| env: | |
| PLTADDONDIR: /root/.local/share/racket/ | |
| steps: | |
| - uses: actions/checkout@v1 | |
| - name: linking circom | |
| run: ln -s /root/.cargo/bin/circom /usr/bin/circom | |
| - name: run picus with z3, using v3 | |
| run: | | |
| racket ./picus.rkt \ | |
| --solver z3 \ | |
| --circom ./benchmarks/circomlib-cff5ab6/[email protected] \ | |
| --weak | \ | |
| tee result.out | |
| shell: bash # this ensures that pipefail is set | |
| - name: test expected result | |
| run: | | |
| grep "^# weak uniqueness: unsafe\.$" ./result.out | |
| # run the full test for cvc5 | |
| test-solve-with-cvc5: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: veridise/picus:git-latest | |
| env: | |
| PLTADDONDIR: /root/.local/share/racket/ | |
| steps: | |
| - uses: actions/checkout@v1 | |
| - name: linking circom | |
| run: ln -s /root/.cargo/bin/circom /usr/bin/circom | |
| - name: run picus with cvc5, using v3 | |
| run: raco test ./tests/circomlib-test.rkt | |
| performance-test: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: veridise/picus:git-latest | |
| env: | |
| PLTADDONDIR: /root/.local/share/racket/ | |
| steps: | |
| - uses: actions/checkout@v1 | |
| - name: run tests | |
| run: raco test ./tests/performance-test.rkt | |
| publish-docker: | |
| needs: [test-solve-with-z3, test-solve-with-cvc5, performance-test] | |
| name: "Publish Docker image to DockerHub" | |
| if: github.event_name == 'push' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v2 | |
| - name: Login to DockerHub | |
| uses: docker/login-action@v2 | |
| with: | |
| username: ${{ secrets.DOCKERHUB_USERNAME }} | |
| password: ${{ secrets.DOCKERHUB_TOKEN }} | |
| - name: Build and push to DockerHub | |
| uses: docker/build-push-action@v3 | |
| with: | |
| push: true | |
| file: Dockerfile | |
| tags: veridise/picus:git-latest, veridise/picus:git-${{ github.sha }} |