Skip to content

Actions: Certora/safe-smart-account

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FV for Safe v1.5 Audit certora #21: Pull request #3 synchronize by derek-certora
January 7, 2025 13:47 25s derek/audit-new-commit
derek/audit-new-commit
January 7, 2025 13:47 25s
FV for Safe v1.5 Audit CLA Assistant #23: Pull request #3 synchronize by derek-certora
January 7, 2025 13:47 14s
January 7, 2025 13:47 14s
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
FV for Safe v1.5 Audit certora #20: Pull request #3 synchronize by derek-certora
January 6, 2025 14:47 26s derek/audit-new-commit
derek/audit-new-commit
January 6, 2025 14:47 26s
FV for Safe v1.5 Audit CLA Assistant #22: Pull request #3 synchronize by derek-certora
January 6, 2025 14:47 15s
January 6, 2025 14:47 15s
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 certora #19: Pull request #3 synchronize by derek-certora
December 20, 2024 14:13 29s derek/audit-new-commit
derek/audit-new-commit
December 20, 2024 14:13 29s
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
FV for Safe v1.5 Audit CLA Assistant #21: Pull request #3 synchronize by derek-certora
December 20, 2024 14:13 14s
December 20, 2024 14:13 14s
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
FV for Safe v1.5 Audit certora #18: Pull request #3 synchronize by derek-certora
December 19, 2024 15:44 48s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 15:44 48s
FV for Safe v1.5 Audit CLA Assistant #20: Pull request #3 synchronize by derek-certora
December 19, 2024 15:44 15s
December 19, 2024 15:44 15s
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
FV for Safe v1.5 Audit certora #17: Pull request #3 synchronize by derek-certora
December 19, 2024 14:28 28s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:28 28s
FV for Safe v1.5 Audit CLA Assistant #19: Pull request #3 synchronize by derek-certora
December 19, 2024 14:28 10s
December 19, 2024 14:28 10s
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
FV for Safe v1.5 Audit certora #16: Pull request #3 synchronize by derek-certora
December 19, 2024 14:23 29s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 14:23 29s
FV for Safe v1.5 Audit CLA Assistant #18: Pull request #3 synchronize by derek-certora
December 19, 2024 14:23 15s
December 19, 2024 14:23 15s
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
FV for Safe v1.5 Audit certora #15: Pull request #3 synchronize by derek-certora
December 19, 2024 12:29 27s derek/audit-new-commit
derek/audit-new-commit
December 19, 2024 12:29 27s