Skip to content

Actions: safe-global/safe-smart-account

Actions

safe-smart-account

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,178 workflow runs
1,178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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 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
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 safe-smart-account #2923: Pull request #900 opened by piguagua
January 15, 2025 08:18 5m 19s piguagua:main
piguagua:main
January 15, 2025 08:18 5m 19s
An attempt to fix flaky zksync test (#898) safe-smart-account #2922: Commit 70268e7 pushed by remedcu
January 14, 2025 09:25 5m 21s main
main
January 14, 2025 09:25 5m 21s
An attempt to fix flaky zksync test safe-smart-account #2921: Pull request #898 synchronize by mmv08
January 14, 2025 09:08 5m 17s zksync-failing-test
zksync-failing-test
January 14, 2025 09:08 5m 17s
update zksolc compiler version safe-smart-account #2920: Commit 2f4704c pushed by mmv08
January 14, 2025 09:08 5m 20s zksync-failing-test
zksync-failing-test
January 14, 2025 09:08 5m 20s
An attempt to fix flaky zksync test safe-smart-account #2919: Pull request #898 synchronize by mmv08
January 10, 2025 15:02 9m 37s zksync-failing-test
zksync-failing-test
January 10, 2025 15:02 9m 37s
update zksolc compiler version safe-smart-account #2918: Commit aba436d pushed by mmv08
January 10, 2025 15:02 9m 29s zksync-failing-test
zksync-failing-test
January 10, 2025 15:02 9m 29s
An attempt to fix flaky zksync test safe-smart-account #2917: Pull request #898 opened by mmv08
January 10, 2025 14:31 9m 39s zksync-failing-test
zksync-failing-test
January 10, 2025 14:31 9m 39s
An attempt to fix flaky zksync test safe-smart-account #2916: Commit ad011ee pushed by mmv08
January 10, 2025 14:31 9m 36s zksync-failing-test
zksync-failing-test
January 10, 2025 14:31 9m 36s
[Certora Audit] G-08. Use shift right/left instead of division/multip… safe-smart-account #2915: Commit 7e760ef pushed by remedcu
January 10, 2025 12:08 5m 28s main
main
January 10, 2025 12:08 5m 28s
[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible safe-smart-account #2914: Pull request #895 synchronize by remedcu
January 10, 2025 11:47 5m 35s g08
g08
January 10, 2025 11:47 5m 35s
Merge branch 'main' into g08 safe-smart-account #2913: Commit ce73021 pushed by remedcu
January 10, 2025 11:47 5m 28s g08
g08
January 10, 2025 11:47 5m 28s
[Certora Audit] G07. Use a mask instead of shifting left and right (#… safe-smart-account #2912: Commit 5c8c6c0 pushed by remedcu
January 10, 2025 11:46 5m 31s main
main
January 10, 2025 11:46 5m 31s
[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 (#897) safe-smart-account #2911: Commit 8137b68 pushed by remedcu
January 10, 2025 11:46 5m 19s main
main
January 10, 2025 11:46 5m 19s
[Certora Audit] G07. Use a mask instead of shifting left and right safe-smart-account #2910: Pull request #894 synchronize by remedcu
January 10, 2025 11:38 5m 30s g07
g07
January 10, 2025 11:38 5m 30s
Removing unnecessary mask safe-smart-account #2909: Commit 7be3379 pushed by remedcu
January 10, 2025 11:38 5m 23s g07
g07
January 10, 2025 11:38 5m 23s
[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible safe-smart-account #2908: Pull request #895 synchronize by remedcu
January 10, 2025 11:35 5m 22s g08
g08
January 10, 2025 11:35 5m 22s
Comment explaining shift usage added safe-smart-account #2907: Commit 0e26ab7 pushed by remedcu
January 10, 2025 11:35 5m 29s g08
g08
January 10, 2025 11:35 5m 29s
[Certora Audit] G-10. ++i costs less gas compared to i++ or i+=1 safe-smart-account #2906: Pull request #897 synchronize by remedcu
January 10, 2025 11:33 5m 28s g10
g10
January 10, 2025 11:33 5m 28s
Merge branch 'main' into g10 safe-smart-account #2905: Commit d15fe1a pushed by remedcu
January 10, 2025 11:33 5m 35s g10
g10
January 10, 2025 11:33 5m 35s
Enhance Safe.sol with ECDSA malleability warning (#877) safe-smart-account #2904: Commit 19e1d63 pushed by mmv08
January 9, 2025 17:23 5m 35s main
main
January 9, 2025 17:23 5m 35s