Skip to content

Actions: 0xStation/permissionless-safe

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use vanity dev address for cleaner gas accounting certora #31: Commit 231467f pushed by robriks
November 22, 2023 22:54 25s main
main
November 22, 2023 22:54 25s
Update to protocol-ops v1.3.0 certora #30: Commit aa8de64 pushed by robriks
November 8, 2023 01:47 37s main
main
November 8, 2023 01:47 37s
Merge pull request #5 from 0xStation/protocol-ops-script-rework certora #29: Commit 1310bd5 pushed by robriks
October 13, 2023 21:11 45s main
main
October 13, 2023 21:11 45s
Protocol ops script rework certora #28: Pull request #5 opened by robriks
October 13, 2023 21:11 36s protocol-ops-script-rework
protocol-ops-script-rework
October 13, 2023 21:11 36s
Merge pull request #4 from 0xStation/polygon-goerli-deployment certora #27: Commit f9a6c21 pushed by robriks
October 11, 2023 20:51 45s main
main
October 11, 2023 20:51 45s
Move AdminGuard deployment into separate script, deploy certora #26: Pull request #4 opened by robriks
October 11, 2023 20:51 43s polygon-goerli-deployment
polygon-goerli-deployment
October 11, 2023 20:51 43s
Merge pull request #3 from 0xStation/update-readme certora #25: Commit c80eecc pushed by robriks
October 5, 2023 20:38 43s main
main
October 5, 2023 20:38 43s
Update README.md certora #24: Pull request #3 opened by robriks
October 5, 2023 20:38 43s update-readme
update-readme
October 5, 2023 20:38 43s
certora certora #23: by robriks
October 4, 2023 20:19 39s main
main
October 4, 2023 20:19 39s
Add initial PrepareHash script certora #22: Pull request #2 synchronize by robriks
October 4, 2023 20:04 45s safe-signing-script
safe-signing-script
October 4, 2023 20:04 45s
Add initial PrepareHash script certora #21: Pull request #2 synchronize by robriks
October 4, 2023 14:53 41s safe-signing-script
safe-signing-script
October 4, 2023 14:53 41s
Add initial PrepareHash script certora #20: Pull request #2 synchronize by robriks
October 4, 2023 14:26 40s safe-signing-script
safe-signing-script
October 4, 2023 14:26 40s
Add initial PrepareHash script certora #19: Pull request #2 synchronize by robriks
October 4, 2023 14:12 41s safe-signing-script
safe-signing-script
October 4, 2023 14:12 41s
Add initial PrepareHash script certora #18: Pull request #2 synchronize by robriks
October 3, 2023 23:26 42s safe-signing-script
safe-signing-script
October 3, 2023 23:26 42s
Add initial PrepareHash script certora #17: Pull request #2 synchronize by robriks
October 3, 2023 21:03 43s safe-signing-script
safe-signing-script
October 3, 2023 21:03 43s
Add initial PrepareHash script certora #16: Pull request #2 synchronize by robriks
October 3, 2023 19:05 41s safe-signing-script
safe-signing-script
October 3, 2023 19:05 41s
Add initial PrepareHash script certora #15: Pull request #2 synchronize by robriks
October 3, 2023 18:29 41s safe-signing-script
safe-signing-script
October 3, 2023 18:29 41s
Add initial PrepareHash script certora #14: Pull request #2 synchronize by robriks
October 3, 2023 03:50 36s safe-signing-script
safe-signing-script
October 3, 2023 03:50 36s
Add initial PrepareHash script certora #13: Pull request #2 synchronize by robriks
October 2, 2023 21:56 40s safe-signing-script
safe-signing-script
October 2, 2023 21:56 40s
Add initial PrepareHash script certora #12: Pull request #2 synchronize by ilikesymmetry
October 2, 2023 21:21 40s safe-signing-script
safe-signing-script
October 2, 2023 21:21 40s
Add initial PrepareHash script certora #11: Pull request #2 synchronize by ilikesymmetry
October 2, 2023 20:31 34s safe-signing-script
safe-signing-script
October 2, 2023 20:31 34s
Add initial PrepareHash script certora #10: Pull request #2 synchronize by robriks
October 2, 2023 20:06 42s safe-signing-script
safe-signing-script
October 2, 2023 20:06 42s
Add initial PrepareHash script certora #9: Pull request #2 synchronize by robriks
October 2, 2023 19:50 42s safe-signing-script
safe-signing-script
October 2, 2023 19:50 42s
Add initial PrepareHash script certora #8: Pull request #2 opened by ilikesymmetry
October 2, 2023 16:26 45s safe-signing-script
safe-signing-script
October 2, 2023 16:26 45s
Merge pull request #1 from 0xStation/admin-guard certora #7: Commit b9ab708 pushed by robriks
September 28, 2023 17:47 43s main
main
September 28, 2023 17:47 43s