Skip to content

Actions: makerdao/op-token-bridge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable optimizer in foundry.toml and fix Certora CI (#11)
Certora #28: Commit 82918f4 pushed by telome
May 2, 2025 07:36 2m 21s master
May 2, 2025 07:36 2m 21s
Enable optimizer in foundry.toml and fix Certora CI (#11)
test #90: Commit 82918f4 pushed by telome
May 2, 2025 07:36 56s master
May 2, 2025 07:36 56s
Enable optimizer in foundry.toml and fix Certora CI
Certora #27: Pull request #11 synchronize by telome
May 1, 2025 15:05 7m 23s fix-toml
May 1, 2025 15:05 7m 23s
Enable optimizer in foundry.toml and fix Certora CI
test #89: Pull request #11 synchronize by telome
May 1, 2025 15:05 52s fix-toml
May 1, 2025 15:05 52s
Update certora CI
Certora #26: Commit b78eddb pushed by telome
May 1, 2025 15:05 7m 55s fix-toml
May 1, 2025 15:05 7m 55s
Update certora CI
test #88: Commit b78eddb pushed by telome
May 1, 2025 15:05 47s fix-toml
May 1, 2025 15:05 47s
Enable optimizer in foundry.toml and fix Certora CI
Certora #25: Pull request #11 opened by telome
May 1, 2025 14:29 43s fix-toml
May 1, 2025 14:29 43s
Enable optimizer in foundry.toml and fix Certora CI
test #87: Pull request #11 opened by telome
May 1, 2025 14:29 48s fix-toml
May 1, 2025 14:29 48s
Enable optimizer in toml
Certora #24: Commit 0c25074 pushed by telome
May 1, 2025 14:28 1m 3s fix-toml
May 1, 2025 14:28 1m 3s
Enable optimizer in toml
test #86: Commit 0c25074 pushed by telome
May 1, 2025 14:28 57s fix-toml
May 1, 2025 14:28 57s
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