Skip to content

Actions: safe-global/safe-smart-account

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,677 workflow runs
2,677 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Certora Workfile Updated CLA Assistant #2295: Pull request #904 opened by remedcu
January 21, 2025 09:24 18s
January 21, 2025 09:24 18s
Certora Workfile Updated safe-smart-account #2930: Commit 0bf9413 pushed by remedcu
January 21, 2025 09:22 5m 23s certora-workfile
certora-workfile
January 21, 2025 09:22 5m 23s
feat: Implement real-time contract compilation for zkSync verification CLA Assistant #2294: Issue comment #903 (comment) created by crStiv
January 19, 2025 23:04 17s
January 19, 2025 23:04 17s
feat: Implement real-time contract compilation for zkSync verification certora #885: Pull request #903 opened by crStiv
January 19, 2025 23:00 Action required crStiv:fix
crStiv:fix
January 19, 2025 23:00 Action required
feat: Implement real-time contract compilation for zkSync verification safe-smart-account #2929: Pull request #903 opened by crStiv
January 19, 2025 23:00 Action required crStiv:fix
crStiv:fix
January 19, 2025 23:00 Action required
feat: Implement real-time contract compilation for zkSync verification CLA Assistant #2293: Pull request #903 opened by crStiv
January 19, 2025 23:00 14s
January 19, 2025 23:00 14s
chore: fix typo in certora/specs/OwnerReach.spec CLA Assistant #2292: Pull request #902 closed by mmv08
January 16, 2025 14:14 16s
January 16, 2025 14:14 16s
chore: fix typo in certora/specs/OwnerReach.spec (#902) certora #884: Commit 2a599c4 pushed by mmv08
January 16, 2025 14:14 8m 26s main
main
January 16, 2025 14:14 8m 26s
chore: fix typo in certora/specs/OwnerReach.spec (#902) safe-smart-account #2928: Commit 2a599c4 pushed by mmv08
January 16, 2025 14:14 5m 23s main
main
January 16, 2025 14:14 5m 23s
chore: fix typo in certora/specs/OwnerReach.spec CLA Assistant #2291: Issue comment #902 (comment) created by ericlehong
January 16, 2025 13:55 18s
January 16, 2025 13:55 18s
chore: fix typo in certora/specs/OwnerReach.spec CLA Assistant #2290: Issue comment #902 (comment) created by ericlehong
January 16, 2025 13:54 16s
January 16, 2025 13:54 16s
chore: fix typo in certora/specs/OwnerReach.spec safe-smart-account #2927: Pull request #902 opened by ericlehong
January 16, 2025 13:54 5m 26s ericlehong:fix-typo
ericlehong:fix-typo
January 16, 2025 13:54 5m 26s
chore: fix typo in certora/specs/OwnerReach.spec certora #883: Pull request #902 opened by ericlehong
January 16, 2025 13:54 28s ericlehong:fix-typo
ericlehong:fix-typo
January 16, 2025 13:54 28s
chore: fix typo in certora/specs/OwnerReach.spec CLA Assistant #2289: Pull request #902 opened by ericlehong
January 16, 2025 13:54 18s
January 16, 2025 13:54 18s
Formal Verification for Safe v1.5 Audit CLA Assistant #2288: Pull request #901 closed by mmv08
January 16, 2025 08:45 14s
January 16, 2025 08:45 14s
Formal Verification for Safe v1.5 Audit (#901) certora #882: Commit 8677f32 pushed by mmv08
January 16, 2025 08:45 8m 36s main
main
January 16, 2025 08:45 8m 36s
Formal Verification for Safe v1.5 Audit (#901) safe-smart-account #2926: Commit 8677f32 pushed by mmv08
January 16, 2025 08:45 5m 18s main
main
January 16, 2025 08:45 5m 18s
Formal Verification for Safe v1.5 Audit CLA Assistant #2287: Issue comment #901 (comment) created by derek-certora
January 15, 2025 21:46 19s
January 15, 2025 21:46 19s
Formal Verification for Safe v1.5 Audit safe-smart-account #2925: Pull request #901 opened by derek-certora
January 15, 2025 21:25 5m 28s Certora:main
Certora:main
January 15, 2025 21:25 5m 28s
Formal Verification for Safe v1.5 Audit certora #881: Pull request #901 opened by derek-certora
January 15, 2025 21:25 28s Certora:main
Certora:main
January 15, 2025 21:25 28s
Formal Verification for Safe v1.5 Audit CLA Assistant #2286: Pull request #901 opened by derek-certora
January 15, 2025 21:25 18s
January 15, 2025 21:25 18s
Fix broken link CLA Assistant #2285: Pull request #900 closed by mmv08
January 15, 2025 08:34 11s
January 15, 2025 08:34 11s
Fix broken link (#900) certora #880: Commit 0372c8a pushed by mmv08
January 15, 2025 08:34 10m 57s main
main
January 15, 2025 08:34 10m 57s
Fix broken link (#900) safe-smart-account #2924: Commit 0372c8a pushed by mmv08
January 15, 2025 08:34 5m 27s main
main
January 15, 2025 08:34 5m 27s
Fix broken link CLA Assistant #2284: Issue comment #900 (comment) created by piguagua
January 15, 2025 08:19 14s
January 15, 2025 08:19 14s