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