staking/.github/workflows
r4bbit 4aadca5d5e
chore: update certora-cli in ci
2024-03-01 12:04:41 +01: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: update certora-cli in ci 2024-03-01 12:04:41 +01:00