r4bbit 5c564a8050 chore(workflows): add-pr-to-project-board only trigger on `opened` ... This is to avoid getting these failing CI tasks where adding a PR to the board fails when it was already added before (happens when pushing into an existing PR).		2024-02-22 17:17:28 -03: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): add certora CI integration (#40)	2023-12-11 15:10:41 +01:00