Skip to content

Actions: Certora/safe-smart-account

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review 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
Audit Draft PR for Code Review CLA Assistant #17: Pull request #3 synchronize by derek-certora
December 19, 2024 12:29 15s
December 19, 2024 12:29 15s
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
Audit Draft PR for Code Review certora #14: Pull request #3 synchronize by derek-certora
December 18, 2024 14:43 33s derek/audit-new-commit
derek/audit-new-commit
December 18, 2024 14:43 33s