r4bbit b62ac5233e chore(CI): update certora-cli to 7.10.2 ... This should fix a bug in the CLI that causes CI tasks to pass even though prover runs are emitting errors.		2024-08-27 14:46:22 +02:00
..
workflows	chore(CI): update certora-cli to 7.10.2	2024-08-27 14:46:22 +02:00
PULL_REQUEST_TEMPLATE.md	chore: add gas-report for all contracts	2024-02-26 10:07:54 -03:00