r4bbit 50e90b6816 chore(CI): update certora-cli to 7.10.2 ... This should fix the bug of certora-cli not properly completing with non zero exit codes on errors, which ultimately results in CI tasks to give false positives.		2024-08-27 15:08:52 +02:00
..
workflows	chore(CI): update certora-cli to 7.10.2	2024-08-27 15:08:52 +02:00