Skip to content

Actions: makerdao/op-token-bridge

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from makerdao/dev Certora #23: Commit 6188f37 pushed by telome
November 20, 2024 13:38 2m 34s master
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
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
Add Certora specs Certora #20: Pull request #9 synchronize by sunbreak1211
October 25, 2024 19:21 11m 35s certora
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
certora
October 25, 2024 19:21 9m 39s
Add Certora specs Certora #18: Pull request #9 synchronize by sunbreak1211
October 24, 2024 14:13 11m 41s certora
certora
October 24, 2024 14:13 11m 41s
Fix typo Certora #17: Commit d16656f pushed by sunbreak1211
October 24, 2024 14:13 10m 33s certora
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
certora
October 24, 2024 14:05 2m 31s
Fix typo Certora #15: Commit d07cd2e pushed by sunbreak1211
October 24, 2024 14:05 2m 34s certora
certora
October 24, 2024 14:05 2m 34s
Add Certora specs Certora #14: Pull request #9 synchronize by sunbreak1211
October 24, 2024 13:52 1m 54s certora
certora
October 24, 2024 13:52 1m 54s
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
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 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
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
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 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
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 Certora specs Certora #2: Pull request #9 opened by sunbreak1211
October 14, 2024 15:32 5m 17s certora
certora
October 14, 2024 15:32 5m 17s
Add Certora specs Certora #1: Commit 4d8f2ee pushed by sunbreak1211
October 14, 2024 15:32 5m 20s certora
certora
October 14, 2024 15:32 5m 20s