2
0
mirror of https://github.com/status-im/dagger-contracts.git synced 2025-02-16 00:27:43 +00:00
r4bbit 688a8ed929
Set up certora and implement first rules ()
Co-authored-by: 0xb337r007 <0xe4e5@proton.me>
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
2024-07-24 18:50:18 +02:00

7 lines
87 B
Plaintext

node_modules
cache
artifacts
deployment-localhost.json
crytic-export
.certora_internal