Skip to content

Actions: makerdao/vote-delegate

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from makerdao/v2 Certora #15: Commit 25b63b0 pushed by sunbreak1211
October 23, 2024 11:32 1m 39s master
master
October 23, 2024 11:32 1m 39s
Implement v2 for Lockstake Certora #14: Pull request #16 synchronize by sunbreak1211
October 22, 2024 16:29 1m 45s v2
v2
October 22, 2024 16:29 1m 45s
Certora: Minor change Certora #13: Commit c8ab9cb pushed by sunbreak1211
October 22, 2024 16:29 2m 32s v2
v2
October 22, 2024 16:29 2m 32s
Implement v2 for Lockstake Certora #12: Pull request #16 synchronize by sunbreak1211
October 21, 2024 14:06 5m 46s v2
v2
October 21, 2024 14:06 5m 46s
Add Certora specs + configure CI for tests and Certora (#27) Certora #11: Commit 2a585d7 pushed by sunbreak1211
October 21, 2024 14:06 5m 48s v2
v2
October 21, 2024 14:06 5m 48s
Add Certora specs + configure CI for tests and Certora Certora #10: Pull request #27 synchronize by sunbreak1211
October 17, 2024 19:48 5m 46s certora-and-ci
certora-and-ci
October 17, 2024 19:48 5m 46s
Use no optimization for mocks and aux Certora #9: Commit df90c10 pushed by sunbreak1211
October 17, 2024 19:48 6m 17s certora-and-ci
certora-and-ci
October 17, 2024 19:48 6m 17s
Add Certora specs + configure CI for tests and Certora Certora #8: Pull request #27 synchronize by sunbreak1211
October 11, 2024 21:11 4m 17s certora-and-ci
certora-and-ci
October 11, 2024 21:11 4m 17s
Minor change + comment Certora #7: Commit 994e68b pushed by sunbreak1211
October 11, 2024 21:11 2m 58s certora-and-ci
certora-and-ci
October 11, 2024 21:11 2m 58s
Add Certora specs + configure CI for tests and Certora Certora #6: Pull request #27 synchronize by sunbreak1211
October 8, 2024 17:33 3m 43s certora-and-ci
certora-and-ci
October 8, 2024 17:33 3m 43s
Workaround for fixing voteYays_revert Certora #5: Commit 48e7a8e pushed by sunbreak1211
October 8, 2024 17:33 4m 5s certora-and-ci
certora-and-ci
October 8, 2024 17:33 4m 5s
Add Certora specs + configure CI for tests and Certora Certora #4: Pull request #27 synchronize by sunbreak1211
October 4, 2024 14:55 1m 39s certora-and-ci
certora-and-ci
October 4, 2024 14:55 1m 39s
Fix spacing Certora #3: Commit 0f38292 pushed by sunbreak1211
October 4, 2024 14:54 2m 14s certora-and-ci
certora-and-ci
October 4, 2024 14:54 2m 14s
Add Certora specs + configure CI for tests and Certora Certora #2: Pull request #27 opened by sunbreak1211
October 4, 2024 14:52 1m 28s certora-and-ci
certora-and-ci
October 4, 2024 14:52 1m 28s
Add Certora specs + configure CI for tests and Certora Certora #1: Commit d60a326 pushed by sunbreak1211
October 4, 2024 14:48 3m 59s certora-and-ci
certora-and-ci
October 4, 2024 14:48 3m 59s