4d689733e5
This commit updates the certora CLI to the latest version (7.10.1) in CI tasks. |
||
---|---|---|
.. | ||
add-issues-to-vac-board.yml | ||
add-prs-to-review-to-vac-board.yml | ||
test.yml |
4d689733e5
This commit updates the certora CLI to the latest version (7.10.1) in CI tasks. |
||
---|---|---|
.. | ||
add-issues-to-vac-board.yml | ||
add-prs-to-review-to-vac-board.yml | ||
test.yml |