Skip to content

Actions: makerdao/vote-delegate

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.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 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
Certora: Minor change test #13: Commit c8ab9cb pushed by sunbreak1211
October 22, 2024 16:29 27s v2
v2
October 22, 2024 16:29 27s
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 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
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
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
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
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
Fix spacing test #3: Commit 0f38292 pushed by sunbreak1211
October 4, 2024 14:54 27s certora-and-ci
certora-and-ci
October 4, 2024 14:54 27s
Add Certora specs + configure CI for tests and Certora test #2: Pull request #27 opened by sunbreak1211
October 4, 2024 14:52 29s certora-and-ci
certora-and-ci
October 4, 2024 14:52 29s
Add Certora specs + configure CI for tests and Certora test #1: Commit d60a326 pushed by sunbreak1211
October 4, 2024 14:48 24s certora-and-ci
certora-and-ci
October 4, 2024 14:48 24s