Skip to content

Actions: makerdao/op-token-bridge

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
84 workflow runs
84 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
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
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
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
Fix typo
test #75: Commit d16656f pushed by sunbreak1211
October 24, 2024 14:13 1m 7s certora
October 24, 2024 14:13 1m 7s
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
test #73: Commit d07cd2e pushed by sunbreak1211
October 24, 2024 14:05 55s certora
October 24, 2024 14:05 55s
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
Add Certora specs
test #70: Pull request #9 synchronize by sunbreak1211
October 22, 2024 16:29 43s certora
October 22, 2024 16:29 43s
Minor change
test #69: Commit f82e6f2 pushed by sunbreak1211
October 22, 2024 16:29 47s certora
October 22, 2024 16:29 47s
Add Certora specs
test #68: Pull request #9 synchronize by sunbreak1211
October 19, 2024 13:16 41s certora
October 19, 2024 13:16 41s
use mathint
test #67: Commit e11132d pushed by sunbreak1211
October 19, 2024 13:16 42s certora
October 19, 2024 13:16 42s
Add Certora specs
test #66: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:46 1m 2s 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
October 17, 2024 19:46 1m 1s
Add Certora specs
test #64: Pull request #9 synchronize by sunbreak1211
October 17, 2024 19:05 43s certora
October 17, 2024 19:05 43s
Minor changes
test #63: Commit 2250206 pushed by sunbreak1211
October 17, 2024 19:05 42s 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