Skip to content

Actions: Certora/safe-smart-account

Actions

safe-smart-account

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FV for Safe v1.5 Audit (#3) safe-smart-account #54: Commit a38212b pushed by derek-certora
January 15, 2025 21:03 5m 37s main
main
January 15, 2025 21:03 5m 37s
FV for Safe v1.5 Audit safe-smart-account #53: Pull request #3 synchronize by derek-certora
January 15, 2025 20:22 5m 37s derek/audit-new-commit
derek/audit-new-commit
January 15, 2025 20:22 5m 37s
munge fallback handler safe-smart-account #52: Commit df2aa6b pushed by derek-certora
January 15, 2025 20:22 5m 33s derek/audit-new-commit
derek/audit-new-commit
January 15, 2025 20:22 5m 33s
FV for Safe v1.5 Audit safe-smart-account #51: Pull request #3 synchronize by derek-certora
January 8, 2025 03:16 5m 21s derek/audit-new-commit
derek/audit-new-commit
January 8, 2025 03:16 5m 21s
remove deprecated prover tag safe-smart-account #50: Commit 6813a0d pushed by derek-certora
January 8, 2025 03:16 5m 26s derek/audit-new-commit
derek/audit-new-commit
January 8, 2025 03:16 5m 26s
FV for Safe v1.5 Audit safe-smart-account #49: Pull request #3 synchronize by derek-certora
January 7, 2025 16:37 5m 32s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 16:37 5m 32s
removed unused function in methods block safe-smart-account #48: Commit 73d4594 pushed by derek-certora
January 7, 2025 16:37 5m 30s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 16:37 5m 30s
FV for Safe v1.5 Audit safe-smart-account #47: Pull request #3 synchronize by derek-certora
January 7, 2025 16:05 5m 33s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 16:05 5m 33s
remove separating v1.5 folder, which was there just for project organ… safe-smart-account #46: Commit 91d4f0d pushed by derek-certora
January 7, 2025 16:05 5m 42s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 16:05 5m 42s
FV for Safe v1.5 Audit safe-smart-account #45: Pull request #3 synchronize by derek-certora
January 7, 2025 15:50 5m 31s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 15:50 5m 31s
remove unused function in harness safe-smart-account #44: Commit 7500134 pushed by derek-certora
January 7, 2025 15:50 5m 22s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 15:50 5m 22s
FV for Safe v1.5 Audit safe-smart-account #43: Pull request #3 synchronize by derek-certora
January 7, 2025 13:47 5m 44s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 13:47 5m 44s
safe-smart-account safe-smart-account #42: by derek-certora
January 7, 2025 13:47 5m 30s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 13:47 5m 30s
FV for Safe v1.5 Audit safe-smart-account #41: Pull request #3 synchronize by derek-certora
January 6, 2025 14:47 5m 44s derek/audit-new-commit
derek/audit-new-commit
January 6, 2025 14:47 5m 44s
typo fixes, removed unnecessary invariant assumptions, removed false … safe-smart-account #40: Commit 853c03b pushed by derek-certora
January 6, 2025 14:47 5m 30s derek/audit-new-commit
derek/audit-new-commit
January 6, 2025 14:47 5m 30s
FV for Safe v1.5 Audit safe-smart-account #39: Pull request #3 synchronize by derek-certora
December 20, 2024 14:13 5m 34s derek/audit-new-commit
derek/audit-new-commit
December 20, 2024 14:13 5m 34s
debugging handlerCalledIfSet rule, included an invariant that handler… safe-smart-account #38: Commit d8b3e02 pushed by derek-certora
December 20, 2024 14:13 5m 36s derek/audit-new-commit
derek/audit-new-commit
December 20, 2024 14:13 5m 36s
FV for Safe v1.5 Audit safe-smart-account #37: Pull request #3 synchronize by derek-certora
December 19, 2024 15:44 5m 23s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 15:44 5m 23s
execute_summary() improvement so it's more general safe-smart-account #36: Commit f2f39c5 pushed by derek-certora
December 19, 2024 15:44 5m 19s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 15:44 5m 19s
FV for Safe v1.5 Audit safe-smart-account #35: Pull request #3 synchronize by derek-certora
December 19, 2024 14:28 5m 24s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:28 5m 24s
update fallback to most current version. all but one passes (annotate… safe-smart-account #34: Commit 00349d6 pushed by derek-certora
December 19, 2024 14:28 5m 25s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:28 5m 25s
FV for Safe v1.5 Audit safe-smart-account #33: Pull request #3 synchronize by derek-certora
December 19, 2024 14:23 5m 38s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:23 5m 38s
committing the hash spec, there was some confusion with renaming this… safe-smart-account #32: Commit 9743c13 pushed by derek-certora
December 19, 2024 14:23 5m 24s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:23 5m 24s
FV for Safe v1.5 Audit safe-smart-account #31: Pull request #3 synchronize by derek-certora
December 19, 2024 12:29 5m 27s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 12:29 5m 27s
change Safe spec to Hash spec for more accurate naming safe-smart-account #30: Commit 43f4cb1 pushed by derek-certora
December 19, 2024 12:29 5m 36s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 12:29 5m 36s