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
..
add-issues-to-vac-board.yml	chore(workflow): add workflow to auto-add issues to project	2024-02-15 11:50:39 +01:00
add-prs-to-review-to-vac-board.yml	ci(workflows): only add opened PRs to project board	2024-02-22 12:10:20 +01:00
test.yml	chore(ci): update certora cli to latest version	2024-07-30 15:42:54 +02:00