Skip to content

Actions: makerdao/vote-delegate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
Merge pull request #16 from makerdao/v2 test #15: Commit 25b63b0 pushed by sunbreak1211
October 23, 2024 11:32 21s master
master
October 23, 2024 11:32 21s
Implement v2 for Lockstake test #14: Pull request #16 synchronize by sunbreak1211
October 22, 2024 16:29 35s v2
v2
October 22, 2024 16:29 35s
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 test #13: Commit c8ab9cb pushed by sunbreak1211
October 22, 2024 16:29 27s v2
v2
October 22, 2024 16:29 27s
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
Implement v2 for Lockstake test #12: Pull request #16 synchronize by sunbreak1211
October 21, 2024 14:06 33s v2
v2
October 21, 2024 14:06 33s
Add Certora specs + configure CI for tests and Certora (#27) test #11: Commit 2a585d7 pushed by sunbreak1211
October 21, 2024 14:06 23s v2
v2
October 21, 2024 14:06 23s
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 test #10: Pull request #27 synchronize by sunbreak1211
October 17, 2024 19:48 31s certora-and-ci
certora-and-ci
October 17, 2024 19:48 31s
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 test #9: Commit df90c10 pushed by sunbreak1211
October 17, 2024 19:48 24s certora-and-ci
certora-and-ci
October 17, 2024 19:48 24s
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 test #8: Pull request #27 synchronize by sunbreak1211
October 11, 2024 21:11 6m 28s certora-and-ci
certora-and-ci
October 11, 2024 21:11 6m 28s
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
Minor change + comment test #7: Commit 994e68b pushed by sunbreak1211
October 11, 2024 21:11 2m 4s certora-and-ci
certora-and-ci
October 11, 2024 21:11 2m 4s
Add Certora specs + configure CI for tests and Certora test #6: Pull request #27 synchronize by sunbreak1211
October 8, 2024 17:33 23s certora-and-ci
certora-and-ci
October 8, 2024 17:33 23s
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
Workaround for fixing voteYays_revert test #5: Commit 48e7a8e pushed by sunbreak1211
October 8, 2024 17:33 26s certora-and-ci
certora-and-ci
October 8, 2024 17:33 26s
Add Certora specs + configure CI for tests and Certora test #4: Pull request #27 synchronize by sunbreak1211
October 4, 2024 14:55 24s certora-and-ci
certora-and-ci
October 4, 2024 14:55 24s
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