Skip to content

Actions: makerdao/arbitrum-token-bridge

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New Arbitrum Token Bridge
Certora #6: Pull request #1 synchronize by sunbreak1211
November 19, 2024 15:16 11m 9s dev
dev
November 19, 2024 15:16 11m 9s
Add Certora specs (#13)
Certora #5: Commit b3e6d4b pushed by sunbreak1211
November 19, 2024 15:16 11m 52s dev
dev
November 19, 2024 15:16 11m 52s
Add Certora specs
Certora #4: Pull request #13 synchronize by sunbreak1211
October 25, 2024 19:23 15m 11s certora
October 25, 2024 19:23 15m 11s
Improve PATH compatibility
Certora #3: Commit dc1af63 pushed by sunbreak1211
October 25, 2024 19:23 11m 35s certora
October 25, 2024 19:23 11m 35s
Add Certora specs
Certora #2: Pull request #13 opened by sunbreak1211
October 24, 2024 18:48 14m 21s certora
October 24, 2024 18:48 14m 21s
Add Certora specs
Certora #1: Commit ce3e28d pushed by sunbreak1211
October 24, 2024 18:46 14m 6s certora
October 24, 2024 18:46 14m 6s