Skip to content

Actions: makerdao/op-token-bridge

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Certora specs Certora #4: Pull request #9 synchronize by sunbreak1211
October 15, 2024 00:00 3m 12s certora
certora
October 15, 2024 00:00 3m 12s
Add spec for L2GovernanceRelay.relay Certora #3: Commit 1be5897 pushed by sunbreak1211
October 15, 2024 00:00 2m 37s certora
certora
October 15, 2024 00:00 2m 37s
Add Certora specs Certora #2: Pull request #9 opened by sunbreak1211
October 14, 2024 15:32 5m 17s certora
certora
October 14, 2024 15:32 5m 17s
Add Certora specs Certora #1: Commit 4d8f2ee pushed by sunbreak1211
October 14, 2024 15:32 5m 20s certora
certora
October 14, 2024 15:32 5m 20s