GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 07ac1030e7
Branches Tags
openzeppelin-co...
/
certora
/
scripts
/
noCI
/
Round1
Hadrien Croubois 07ac1030e7 chmod -x certora/scripts/**/*.sh 2 years ago
..
WizardControlFirstPriority.sh c7a544d568 move passing scripts out of noCI 3 years ago
WizardFirstTry.sh c7a544d568 move passing scripts out of noCI 3 years ago
verifyAll.sh 597202d904 finish ERC20 base specs + move all other specs to noCI for the time being 3 years ago
verifyGovernor.sh 07ac1030e7 chmod -x certora/scripts/**/*.sh 2 years ago