NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix action

Browse Source
This commit is contained in:
Hadrien Croubois
2022-09-20 16:23:25 +02:00
parent 61817e055f
commit 28367f8989
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/formal-verifiation.yml vendored
View File

@ -40,9 +40,13 @@ jobs:
- name: Verify rule ${{ matrix.params.spec }}
if: matrix.params.disabled != true
run: |
echo "key length" ${#CERTORAKEY}
echo "file:" ${{ matrix.params.file }}
echo "name:" ${{ matrix.params.name }}
echo "spec:" ${{ matrix.params.spec }}
echo "key length:" ${#CERTORAKEY}
make -C certora munged
certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:$${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud
certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud
env:
CERTORAKEY: ${{ secrets.CERTORAKEY }}
strategy: