Skip to content

Actions: safe-global/safe-smart-account

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
467 workflow runs
467 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix function Safe.spec (#923) certora #916: Commit 460f730 pushed by mmv08
March 6, 2025 09:35 13m 23s main
main
March 6, 2025 09:35 13m 23s
minor correction NativeTokenRefund.spec (#922) certora #915: Commit 9bffa90 pushed by mmv08
March 6, 2025 09:35 13m 59s main
main
March 6, 2025 09:35 13m 59s
fix function Safe.spec certora #914: Pull request #923 opened by comfsrt
March 4, 2025 08:19 27s comfsrt:patch-1
comfsrt:patch-1
March 4, 2025 08:19 27s
minor correction NativeTokenRefund.spec certora #913: Pull request #922 opened by XxAlex74xX
March 3, 2025 07:03 37s XxAlex74xX:fix-errors
XxAlex74xX:fix-errors
March 3, 2025 07:03 37s
fix error Guards.spec (#921) certora #912: Commit f9cc387 pushed by mmv08
February 28, 2025 09:59 10m 26s main
main
February 28, 2025 09:59 10m 26s
fix error Guards.spec certora #911: Pull request #921 opened by futreall
February 28, 2025 09:45 25s futreall:patch-2
futreall:patch-2
February 28, 2025 09:45 25s
correction comment (#916) certora #909: Commit 2dd0763 pushed by mmv08
February 26, 2025 09:29 13m 38s main
main
February 26, 2025 09:29 13m 38s
fix links CHANGELOG.md (#917) certora #908: Commit cf95a4b pushed by mmv08
February 26, 2025 09:05 13m 54s main
main
February 26, 2025 09:05 13m 54s
fix links CHANGELOG.md certora #907: Pull request #917 opened by futreall
February 25, 2025 22:13 27s futreall:patch-1
futreall:patch-1
February 25, 2025 22:13 27s
correction comment certora #906: Pull request #916 opened by XxAlex74xX
February 25, 2025 15:16 29s XxAlex74xX:main
XxAlex74xX:main
February 25, 2025 15:16 29s
chore: fix param typo (#915) certora #905: Commit 34359e8 pushed by mmv08
February 24, 2025 14:47 10m 27s main
main
February 24, 2025 14:47 10m 27s
chore: fix param typo certora #904: Pull request #915 opened by comfsrt
February 24, 2025 12:46 30s comfsrt:main
comfsrt:main
February 24, 2025 12:46 30s
v1.5.0 Audit (#912) certora #902: Commit a1e7f4a pushed by remedcu
February 18, 2025 12:54 14m 4s main
main
February 18, 2025 12:54 14m 4s
v1.5.0 Audit certora #901: Pull request #912 opened by remedcu
February 17, 2025 10:12 14m 10s v1.5.0-audit
v1.5.0-audit
February 17, 2025 10:12 14m 10s
New Safe v1.5.0 addresses (#911) certora #900: Commit 88d77ad pushed by remedcu
February 14, 2025 11:23 10m 38s main
main
February 14, 2025 11:23 10m 38s
New Safe v1.5.0 addresses certora #899: Pull request #911 synchronize by remedcu
February 14, 2025 11:08 12m 8s new-safe-v1.5-addresses
new-safe-v1.5-addresses
February 14, 2025 11:08 12m 8s
New Safe v1.5.0 addresses certora #898: Pull request #911 opened by remedcu
February 14, 2025 11:02 12m 19s new-safe-v1.5-addresses
new-safe-v1.5-addresses
February 14, 2025 11:02 12m 19s
Adding Code Owners (#905) certora #895: Commit 1c8b24a pushed by mmv08
January 23, 2025 10:52 12m 1s main
main
January 23, 2025 10:52 12m 1s
chore: fix param typo (#907) certora #894: Commit 1d12d35 pushed by mmv08
January 22, 2025 12:40 11m 42s main
main
January 22, 2025 12:40 11m 42s
chore: fix param typo certora #893: Pull request #907 opened by fanqiaojun
January 22, 2025 09:33 28s fanqiaojun:main
fanqiaojun:main
January 22, 2025 09:33 28s
Bump undici (#906) certora #892: Commit e9b7de9 pushed by mmv08
January 22, 2025 07:38 13m 3s main
main
January 22, 2025 07:38 13m 3s
Bump undici certora #891: Pull request #906 opened by dependabot bot
January 21, 2025 22:40 25s dependabot/npm_and_yarn/multi-c22b14adf9
dependabot/npm_and_yarn/multi-c22b14adf9
January 21, 2025 22:40 25s
Adding Code Owners certora #890: Pull request #905 synchronize by remedcu
January 21, 2025 10:17 9m 37s codeowners
codeowners
January 21, 2025 10:17 9m 37s
Certora Workfile Updated (#904) certora #889: Commit 8ebd505 pushed by mmv08
January 21, 2025 10:12 12m 28s main
main
January 21, 2025 10:12 12m 28s
Adding Code Owners certora #888: Pull request #905 opened by remedcu
January 21, 2025 10:10 10m 59s codeowners
codeowners
January 21, 2025 10:10 10m 59s