Skip to content

Actions: makerdao/op-token-bridge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More rules Certora #13: Commit 230169e pushed by sunbreak1211
October 24, 2024 13:52 2m 2s certora
certora
October 24, 2024 13:52 2m 2s
Add Certora specs Certora #12: Pull request #9 synchronize by sunbreak1211
October 22, 2024 16:29 8m 46s certora
certora
October 22, 2024 16:29 8m 46s
Add Certora specs test #70: Pull request #9 synchronize by sunbreak1211
October 22, 2024 16:29 43s certora
certora
October 22, 2024 16:29 43s
Minor change test #69: Commit f82e6f2 pushed by sunbreak1211
October 22, 2024 16:29 47s certora
certora
October 22, 2024 16:29 47s
Minor change Certora #11: Commit f82e6f2 pushed by sunbreak1211
October 22, 2024 16:29 2m 57s certora
certora
October 22, 2024 16:29 2m 57s
Add Certora specs test #68: Pull request #9 synchronize by sunbreak1211
October 19, 2024 13:16 41s certora
certora
October 19, 2024 13:16 41s
Add Certora specs Certora #10: Pull request #9 synchronize by sunbreak1211
October 19, 2024 13:16 2m 26s certora
certora
October 19, 2024 13:16 2m 26s
use mathint Certora #9: Commit e11132d pushed by sunbreak1211
October 19, 2024 13:16 2m 42s certora
certora
October 19, 2024 13:16 2m 42s
use mathint test #67: Commit e11132d pushed by sunbreak1211
October 19, 2024 13:16 42s certora
certora
October 19, 2024 13:16 42s
Add Certora specs Certora #8: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:46 5m 46s certora
certora
October 17, 2024 19:46 5m 46s
Add Certora specs test #66: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:46 1m 2s certora
certora
October 17, 2024 19:46 1m 2s
Use no optimization for mocks and aux test #65: Commit 4ec1189 pushed by sunbreak1211
October 17, 2024 19:46 1m 1s certora
certora
October 17, 2024 19:46 1m 1s
Use no optimization for mocks and aux Certora #7: Commit 4ec1189 pushed by sunbreak1211
October 17, 2024 19:46 6m 32s certora
certora
October 17, 2024 19:46 6m 32s
Add Certora specs test #64: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:05 43s certora
certora
October 17, 2024 19:05 43s
Add Certora specs Certora #6: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:05 5m 18s certora
certora
October 17, 2024 19:05 5m 18s
Minor changes Certora #5: Commit 2250206 pushed by sunbreak1211
October 17, 2024 19:05 6m 44s certora
certora
October 17, 2024 19:05 6m 44s
Minor changes test #63: Commit 2250206 pushed by sunbreak1211
October 17, 2024 19:05 42s certora
certora
October 17, 2024 19:05 42s
Base Token Bridge test #62: Pull request #1 synchronize by telome
October 15, 2024 11:34 4m 34s dev
dev
October 15, 2024 11:34 4m 34s
Update sepolia deployment test #61: Commit 262383f pushed by telome
October 15, 2024 11:34 49s dev
dev
October 15, 2024 11:34 49s
Update sepolia deployment test #60: Commit 262383f pushed by telome
October 15, 2024 11:10 40s sepolia-deployment
sepolia-deployment
October 15, 2024 11:10 40s
Update sepolia deployment test #59: Commit 3de7e64 pushed by telome
October 15, 2024 11:08 42s sepolia-deployment
sepolia-deployment
October 15, 2024 11:08 42s
Add Certora specs test #58: Pull request #9 synchronize by sunbreak1211
October 15, 2024 00:00 1m 6s certora
certora
October 15, 2024 00:00 1m 6s
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 spec for L2GovernanceRelay.relay test #57: Commit 1be5897 pushed by sunbreak1211
October 15, 2024 00:00 42s certora
certora
October 15, 2024 00:00 42s