r4bbit d02d6f7ea8 ci(workflows): only add opened PRs to project board ... Otherwise the automation will signal failure every time one pushes into an existing PR.		2024-02-22 12:10:20 +01:00
..
workflows	ci(workflows): only add opened PRs to project board	2024-02-22 12:10:20 +01:00
PULL_REQUEST_TEMPLATE.md	feat: add certora CI integration (#24)	2023-12-14 08:53:57 +01:00