search

codex-storage / codex-contracts-eth

Ethereum smart contracts for Codex
Other
6 stars 9 forks source link

initial Certora setup #113

Closed 0xb337r007 closed 2 months ago

0x-r4bbit commented 4 months ago

@AuHau @markspanbroek or this to be properly executed on GH Actions we need to set up a certora key. I have one that is used for all our projects. Feel free to ping me if you need help with setting this up.

0x-r4bbit commented 2 months ago

Running this on CI now.

@AuHau this is ready for review

0x-r4bbit commented 2 months ago

Closing in favour of #122