Randomness sampling proof goals outlined #109
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: Hakyber | |
| on: [push,pull_request] | |
| env: | |
| OPAMROOT: /home/charlie/.opam | |
| OPAMYES: true | |
| OPAMJOBS: 2 | |
| ECRJOBS: 1 | |
| jobs: | |
| ec: | |
| name: Check Hakyber EasyCrypt Project | |
| runs-on: ubuntu-20.04 | |
| container: | |
| image: easycryptpa/ec-build-box | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - uses: actions/checkout@v3 | |
| name: Checkout EasyCrypt | |
| with: | |
| repository: EasyCrypt/easycrypt | |
| ref: refs/heads/main | |
| path: easycrypt | |
| - name: Update OPAM & EasyCrypt dependencies | |
| run: | | |
| opam update | |
| opam pin add -n easycrypt easycrypt | |
| opam install --deps-only easycrypt | |
| - name: Compile & Install EasyCrypt | |
| run: opam install easycrypt | |
| - name: Detect SMT provers | |
| run: | | |
| rm -f ~/.why3.conf | |
| opam config exec -- easycrypt why3config -why3 ~/.why3.conf | |
| - name: Compile Project | |
| run: opam config exec -- make checkec |