Skip to content

Actions: coinbase/smart-wallet

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Explicitly require owner removal matches expected owner at index
Certora verification #11: Pull request #42 synchronize by stevieraykatz
March 26, 2024 22:00 1h 14m 54s remove-owner-at-index-replay-fix
March 26, 2024 22:00 1h 14m 54s
Add Certora prover to CI flow
Forge CI #65: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:28 1m 3s certora-ci
March 20, 2024 19:28 1m 3s
Add Certora prover to CI flow
Certora verification #8: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:28 1h 17m 40s certora-ci
March 20, 2024 19:28 1h 17m 40s
Add Certora prover to CI flow
Certora verification #7: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:21 42s certora-ci
March 20, 2024 19:21 42s
Add Certora prover to CI flow
Forge CI #64: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:21 1m 6s certora-ci
March 20, 2024 19:21 1m 6s
Add Certora prover to CI flow
Certora verification #6: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:19 48s certora-ci
March 20, 2024 19:19 48s
Add Certora prover to CI flow
Forge CI #63: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:19 59s certora-ci
March 20, 2024 19:19 59s
Add Certora prover to CI flow
Forge CI #62: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:18 1m 42s certora-ci
March 20, 2024 19:18 1m 42s
Add Certora prover to CI flow
Certora verification #5: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:18 1m 20s certora-ci
March 20, 2024 19:18 1m 20s
Add Certora prover to CI flow
Forge CI #61: Pull request #39 synchronize by stevieraykatz
March 20, 2024 19:15 1m 24s certora-ci
March 20, 2024 19:15 1m 24s
add debug lines
Certora verification #4: Commit 4275e8f pushed by stevieraykatz
March 20, 2024 19:15 -1s certora-ci
March 20, 2024 19:15 -1s
Add Certora prover to CI flow
Forge CI #60: Pull request #39 synchronize by stevieraykatz
March 20, 2024 18:48 1m 0s certora-ci
March 20, 2024 18:48 1m 0s
Add Certora prover to CI flow
Certora verification #3: Pull request #39 synchronize by stevieraykatz
March 20, 2024 18:48 52s certora-ci
March 20, 2024 18:48 52s
Add Certora prover to CI flow
Forge CI #59: Pull request #39 synchronize by stevieraykatz
March 20, 2024 18:46 1m 26s certora-ci
March 20, 2024 18:46 1m 26s
Add Certora prover to CI flow
Certora verification #2: Pull request #39 synchronize by stevieraykatz
March 20, 2024 18:46 1m 4s certora-ci
March 20, 2024 18:46 1m 4s
Add Certora prover to CI flow
Certora verification #1: Pull request #39 opened by stevieraykatz
March 20, 2024 18:07 18s certora-ci
March 20, 2024 18:07 18s
Add Certora prover to CI flow
Forge CI #58: Pull request #39 opened by stevieraykatz
March 20, 2024 18:07 1m 44s certora-ci
March 20, 2024 18:07 1m 44s