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

Merge pull request #1 from makerdao/dev
test #85: Commit 6188f37 pushed by telome
November 20, 2024 13:38 52s master
November 20, 2024 13:38 52s
Merge pull request #1 from makerdao/dev
Certora #23: Commit 6188f37 pushed by telome
November 20, 2024 13:38 2m 34s master
November 20, 2024 13:38 2m 34s
Base Token Bridge
Certora #22: Pull request #1 synchronize by sunbreak1211
November 19, 2024 15:16 9m 19s dev
dev
November 19, 2024 15:16 9m 19s
Base Token Bridge
test #84: Pull request #1 synchronize by sunbreak1211
November 19, 2024 15:16 52s dev
dev
November 19, 2024 15:16 52s
Add Certora specs (#9)
test #83: Commit 8133c00 pushed by sunbreak1211
November 19, 2024 15:16 1m 1s dev
dev
November 19, 2024 15:16 1m 1s
Add Certora specs (#9)
Certora #21: Commit 8133c00 pushed by sunbreak1211
November 19, 2024 15:16 9m 0s dev
dev
November 19, 2024 15:16 9m 0s
Base Token Bridge
test #82: Pull request #1 synchronize by sunbreak1211
November 13, 2024 12:14 43s dev
dev
November 13, 2024 12:14 43s
Add Cantina report (#10)
test #81: Commit fb4bfb1 pushed by sunbreak1211
November 13, 2024 12:14 1m 5s dev
dev
November 13, 2024 12:14 1m 5s
Add Cantina report
test #80: Pull request #10 opened by oldchili
October 27, 2024 16:00 1m 5s add-another-cantina-report
October 27, 2024 16:00 1m 5s
Add Cantina report
test #79: Commit ce447e8 pushed by oldchili
October 27, 2024 15:59 1m 5s add-another-cantina-report
October 27, 2024 15:59 1m 5s
Add Certora specs
test #78: Pull request #9 synchronize by sunbreak1211
October 25, 2024 19:21 1m 9s certora
October 25, 2024 19:21 1m 9s
Add Certora specs
Certora #20: Pull request #9 synchronize by sunbreak1211
October 25, 2024 19:21 11m 35s certora
October 25, 2024 19:21 11m 35s
Improve PATH compatibility
Certora #19: Commit 79683e3 pushed by sunbreak1211
October 25, 2024 19:21 9m 39s certora
October 25, 2024 19:21 9m 39s
Improve PATH compatibility
test #77: Commit 79683e3 pushed by sunbreak1211
October 25, 2024 19:21 1m 7s certora
October 25, 2024 19:21 1m 7s
Add Certora specs
test #76: Pull request #9 synchronize by sunbreak1211
October 24, 2024 14:13 47s certora
October 24, 2024 14:13 47s
Add Certora specs
Certora #18: Pull request #9 synchronize by sunbreak1211
October 24, 2024 14:13 11m 41s certora
October 24, 2024 14:13 11m 41s
Fix typo
test #75: Commit d16656f pushed by sunbreak1211
October 24, 2024 14:13 1m 7s certora
October 24, 2024 14:13 1m 7s
Fix typo
Certora #17: Commit d16656f pushed by sunbreak1211
October 24, 2024 14:13 10m 33s certora
October 24, 2024 14:13 10m 33s
Add Certora specs
Certora #16: Pull request #9 synchronize by sunbreak1211
October 24, 2024 14:05 2m 31s certora
October 24, 2024 14:05 2m 31s
Add Certora specs
test #74: Pull request #9 synchronize by sunbreak1211
October 24, 2024 14:05 54s certora
October 24, 2024 14:05 54s
Fix typo
Certora #15: Commit d07cd2e pushed by sunbreak1211
October 24, 2024 14:05 2m 34s certora
October 24, 2024 14:05 2m 34s
Fix typo
test #73: Commit d07cd2e pushed by sunbreak1211
October 24, 2024 14:05 55s certora
October 24, 2024 14:05 55s
Add Certora specs
Certora #14: Pull request #9 synchronize by sunbreak1211
October 24, 2024 13:52 1m 54s certora
October 24, 2024 13:52 1m 54s
Add Certora specs
test #72: Pull request #9 synchronize by sunbreak1211
October 24, 2024 13:52 52s certora
October 24, 2024 13:52 52s
More rules
test #71: Commit 230169e pushed by sunbreak1211
October 24, 2024 13:52 43s certora
October 24, 2024 13:52 43s