AtHeartEngineer/governance
1
0
Fork 0
mirror of https://github.com/vacp2p/governance.git synced 2026-01-09 06:58:09 -05:00
Code Issues Packages Projects Releases Wiki Activity
6 Commits 4 Branches 0 Tags
main
Commit Graph

4 Commits

Author SHA1 Message Date
r4bbit
7419cc339f chore(CI): ensure CI tasks are run on develop branch (#4) 2023-12-11 11:02:58 +01:00
r4bbit
5ea5fef78e chore: add certora CI integration (#3) 2023-12-11 11:02:34 +01:00
r4bbit
fce0c08d85 build: add codecov task to CI actions (#1) 2023-09-11 21:06:10 +02:00
3esmit
dde59fc77b feat: initial commit 2023-09-08 14:13:57 +00:00