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

..

add-issue-to-project-board.yml

chore: add project board automations

2024-02-16 08:28:23 +01:00

add-pr-to-project-board.yml

chore(workflows): add-pr-to-project-board only trigger on opened

2024-02-22 17:17:28 -03:00

ci.yml

chore(CI): update certora-cli to 7.10.2

2024-08-27 14:46:22 +02:00