Skip to content

Actions: dodger213/safe-smart-contract

Actions

certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

V1.3.0 1 certora #23: Pull request #17 synchronize by dodger213
August 18, 2024 08:50 1m 8s v1.3.0-1
v1.3.0-1
August 18, 2024 08:50 1m 8s
Merge pull request #19 from dodger213/improvement-add-transaction-pre… certora #22: Commit be4cab8 pushed by dodger213
August 18, 2024 08:40 2m 27s main
main
August 18, 2024 08:40 2m 27s
Improvement add transaction pre hooks certora #21: Pull request #19 synchronize by dodger213
August 18, 2024 08:40 1m 52s improvement-add-transaction-pre-hooks
improvement-add-transaction-pre-hooks
August 18, 2024 08:40 1m 52s
Merge pull request #10 from dodger213/fix-754-signature-length-check certora #20: Commit 02f766c pushed by dodger213
August 18, 2024 08:37 3m 50s main
main
August 18, 2024 08:37 3m 50s
Fix 754 signature length check certora #19: Pull request #10 synchronize by dodger213
August 18, 2024 08:37 3m 14s fix-754-signature-length-check
fix-754-signature-length-check
August 18, 2024 08:37 3m 14s
Merge pull request #20 from dodger213/experimental/v1.4.1-yul-test certora #18: Commit e7dad00 pushed by dodger213
August 18, 2024 08:36 3m 27s main
main
August 18, 2024 08:36 3m 27s
Safe yul compatibility with test suite certora #17: Pull request #20 synchronize by dodger213
August 18, 2024 08:36 3m 13s experimental/v1.4.1-yul-test
experimental/v1.4.1-yul-test
August 18, 2024 08:36 3m 13s
Merge pull request #11 from dodger213/temp2 certora #16: Commit e90d07c pushed by dodger213
August 18, 2024 08:29 8m 27s main
main
August 18, 2024 08:29 8m 27s
Temp2 certora #15: Pull request #11 opened by dodger213
August 18, 2024 08:29 7m 56s temp2
temp2
August 18, 2024 08:29 7m 56s
Merge pull request #9 from dodger213/experiment/eip4337 certora #14: Commit 66d223e pushed by dodger213
August 18, 2024 08:29 7m 11s main
main
August 18, 2024 08:29 7m 11s
adjust to support eip4337 certora #13: Pull request #9 synchronize by dodger213
August 18, 2024 08:29 6m 44s experiment/eip4337
experiment/eip4337
August 18, 2024 08:29 6m 44s
Merge pull request #6 from dodger213/getsafe certora #12: Commit 20b8963 pushed by dodger213
August 18, 2024 08:25 8m 20s main
main
August 18, 2024 08:25 8m 20s
Getsafe certora #11: Pull request #6 synchronize by dodger213
August 18, 2024 08:25 7m 47s getsafe
getsafe
August 18, 2024 08:25 7m 47s
Merge pull request #5 from dodger213/migrate-l2-111 certora #10: Commit 6c21341 pushed by dodger213
August 18, 2024 08:24 7m 39s main
main
August 18, 2024 08:24 7m 39s
Migrate l2 111 certora #9: Pull request #5 synchronize by dodger213
August 18, 2024 08:24 6m 58s migrate-l2-111
migrate-l2-111
August 18, 2024 08:24 6m 58s
Merge pull request #4 from dodger213/cla-signatures certora #8: Commit 42d977f pushed by dodger213
August 18, 2024 08:21 8m 5s main
main
August 18, 2024 08:21 8m 5s
Cla signatures certora #7: Pull request #4 opened by dodger213
August 18, 2024 08:21 7m 43s cla-signatures
cla-signatures
August 18, 2024 08:21 7m 43s
Merge pull request #3 from dodger213/certora/spec2 certora #6: Commit 56024d4 pushed by dodger213
August 18, 2024 08:20 6m 24s main
main
August 18, 2024 08:20 6m 24s
Certora/spec2 certora #5: Pull request #3 synchronize by dodger213
August 18, 2024 08:20 6m 12s certora/spec2
certora/spec2
August 18, 2024 08:20 6m 12s
Merge pull request #2 from dodger213/chore/fix-ts-lints certora #4: Commit 049a67e pushed by dodger213
August 18, 2024 08:19 4m 32s main
main
August 18, 2024 08:19 4m 32s
Chore/fix ts lints certora #3: Pull request #2 opened by dodger213
August 18, 2024 08:19 3m 50s chore/fix-ts-lints
chore/fix-ts-lints
August 18, 2024 08:19 3m 50s
Merge pull request #1 from dodger213/fix-emit-event-in-SafeL2-execTra… certora #2: Commit ee42192 pushed by dodger213
August 18, 2024 08:18 2m 33s main
main
August 18, 2024 08:18 2m 33s
Fix emit event in safe l2 exec transaction from module return data certora #1: Pull request #1 synchronize by dodger213
August 18, 2024 08:18 2m 19s fix-emit-event-in-SafeL2-execTransactionFromModuleReturnData
fix-emit-event-in-SafeL2-execTransactionFromModuleReturnData
August 18, 2024 08:18 2m 19s