Skip to content

Actions: safe-global/safe-modules

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora_4337.yml
364 workflow runs
364 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add comment in _checkSignaturesLength regarding dynamic signatures certora #314: Pull request #471 synchronize by akshay-ap
August 8, 2024 12:47 1h 1m 36s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
August 8, 2024 12:47 1h 1m 36s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #313: Pull request #471 synchronize by akshay-ap
August 8, 2024 12:47 54m 19s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
August 8, 2024 12:47 54m 19s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #312: Pull request #471 synchronize by akshay-ap
August 8, 2024 12:47 53m 15s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
August 8, 2024 12:47 53m 15s
Using safe-singleton-factory for module deployment certora #311: Pull request #477 synchronize by remedcu
August 5, 2024 09:36 1h 7m 42s using-factory
using-factory
August 5, 2024 09:36 1h 7m 42s
Using safe-singleton-factory for module deployment certora #310: Pull request #477 synchronize by remedcu
August 5, 2024 09:26 55m 1s using-factory
using-factory
August 5, 2024 09:26 55m 1s
Using safe-singleton-factory for module deployment certora #309: Pull request #477 opened by remedcu
August 5, 2024 09:15 2m 17s using-factory
using-factory
August 5, 2024 09:15 2m 17s
Upgrading certora CLI (#475) certora #308: Commit 4e697bd pushed by remedcu
July 30, 2024 07:57 50m 43s main
main
July 30, 2024 07:57 50m 43s
Upgrading certora CLI certora #307: Pull request #475 opened by remedcu
July 29, 2024 11:44 51m 50s certora-update
certora-update
July 29, 2024 11:44 51m 50s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #306: Pull request #471 synchronize by akshay-ap
July 23, 2024 14:39 51m 16s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 23, 2024 14:39 51m 16s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #305: Pull request #471 synchronize by akshay-ap
July 23, 2024 14:24 48m 7s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 23, 2024 14:24 48m 7s
Fix Flaky WebAuthn Shim Test (#474) certora #304: Commit 56f85c0 pushed by nlordell
July 23, 2024 13:14 4m 20s main
main
July 23, 2024 13:14 4m 20s
Fix Flaky WebAuthn Shim Test certora #303: Pull request #474 synchronize by nlordell
July 23, 2024 12:20 48m 45s chore/fix-flaky-webauthn-test
chore/fix-flaky-webauthn-test
July 23, 2024 12:20 48m 45s
Fix Flaky WebAuthn Shim Test certora #302: Pull request #474 synchronize by nlordell
July 23, 2024 09:52 2m 19s chore/fix-flaky-webauthn-test
chore/fix-flaky-webauthn-test
July 23, 2024 09:52 2m 19s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #301: Pull request #471 synchronize by akshay-ap
July 23, 2024 09:51 45m 28s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 23, 2024 09:51 45m 28s
Fix Flaky WebAuthn Shim Test certora #300: Pull request #474 synchronize by nlordell
July 23, 2024 09:23 2m 26s chore/fix-flaky-webauthn-test
chore/fix-flaky-webauthn-test
July 23, 2024 09:23 2m 26s
Fix Flaky WebAuthn Shim Test certora #299: Pull request #474 opened by nlordell
July 23, 2024 08:53 2m 22s chore/fix-flaky-webauthn-test
chore/fix-flaky-webauthn-test
July 23, 2024 08:53 2m 22s
Certora Script Update & Minor changes (#470) certora #298: Commit 78f3239 pushed by remedcu
July 22, 2024 12:55 47m 25s main
main
July 22, 2024 12:55 47m 25s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #297: Pull request #471 synchronize by akshay-ap
July 22, 2024 10:34 6m 15s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 22, 2024 10:34 6m 15s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #296: Pull request #471 synchronize by akshay-ap
July 22, 2024 10:34 4m 36s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 22, 2024 10:34 4m 36s
Add comment in _checkSignaturesLength regarding dynamic signatures certora #295: Pull request #471 opened by akshay-ap
July 22, 2024 09:06 48m 34s feature-comment-on-dynamic-signatures
feature-comment-on-dynamic-signatures
July 22, 2024 09:06 48m 34s
Certora Script Update & Minor changes certora #294: Pull request #470 synchronize by remedcu
July 22, 2024 08:30 3m 41s certora-script
certora-script
July 22, 2024 08:30 3m 41s
Certora Script Update & Minor changes certora #293: Pull request #470 synchronize by remedcu
July 22, 2024 08:29 20s certora-script
certora-script
July 22, 2024 08:29 20s
Certora Script Update & Minor changes certora #292: Pull request #470 opened by remedcu
July 22, 2024 08:26 16s certora-script
certora-script
July 22, 2024 08:26 16s
4337 Benchmark: Alchemy with EntryPoint 0.7.0 (#466) certora #291: Commit f84200f pushed by mmv08
July 19, 2024 12:31 3m 28s main
main
July 19, 2024 12:31 3m 28s
4337 Benchmark: Alchemy with EntryPoint 0.7.0 certora #290: Pull request #466 synchronize by mmv08
July 19, 2024 12:26 4m 16s benchmark/alchemy-0.7.0
benchmark/alchemy-0.7.0
July 19, 2024 12:26 4m 16s