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