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