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
..
workflows	chore(workflows): add-pr-to-project-board only trigger on `opened`	2024-02-22 17:17:28 -03:00
PULL_REQUEST_TEMPLATE.md	chore(ci): add certora CI integration (#40)	2023-12-11 15:10:41 +01:00