r4bbit 4d689733e5 chore(ci): update certora cli to latest version ... This commit updates the certora CLI to the latest version (7.10.1) in CI tasks.		2024-07-30 15:42:54 +02:00
..
workflows	chore(ci): update certora cli to latest version	2024-07-30 15:42:54 +02:00
PULL_REQUEST_TEMPLATE.md	feat: add certora CI integration (#24)	2023-12-14 08:53:57 +01:00