Skip to content

Actions: makerdao/lockstake

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
578 workflow runs
578 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add initial LockstakeEngine/Urn/Clipper logic + tests Certora #32: Pull request #1 synchronize by sunbreak1211
October 21, 2024 14:16 2h 30m 50s dev
dev
October 21, 2024 14:16 2h 30m 50s
Add Certora specs (#48) test #806: Commit 9eb3e26 pushed by sunbreak1211
October 21, 2024 14:16 1m 21s dev
dev
October 21, 2024 14:16 1m 21s
Add Certora specs (#48) Certora #31: Commit 9eb3e26 pushed by sunbreak1211
October 21, 2024 14:16 2h 30m 46s dev
dev
October 21, 2024 14:16 2h 30m 46s
Add Certora specs test #805: Pull request #48 synchronize by sunbreak1211
October 3, 2024 21:33 1m 4s certora
certora
October 3, 2024 21:33 1m 4s
Add Certora specs Certora #30: Pull request #48 synchronize by sunbreak1211
October 3, 2024 21:33 56m 50s certora
certora
October 3, 2024 21:33 56m 50s
Fix Certora #29: Commit f7a4013 pushed by sunbreak1211
October 3, 2024 21:33 57m 45s certora
certora
October 3, 2024 21:33 57m 45s
Fix test #804: Commit f7a4013 pushed by sunbreak1211
October 3, 2024 21:33 1m 2s certora
certora
October 3, 2024 21:33 1m 2s
Add Certora specs test #803: Pull request #48 synchronize by sunbreak1211
October 3, 2024 20:14 54s certora
certora
October 3, 2024 20:14 54s
Add Certora specs Certora #28: Pull request #48 synchronize by sunbreak1211
October 3, 2024 20:14 16m 24s certora
certora
October 3, 2024 20:14 16m 24s
Include view functions invariants as well test #802: Commit 8c3dc21 pushed by sunbreak1211
October 3, 2024 20:14 53s certora
certora
October 3, 2024 20:14 53s
Include view functions invariants as well Certora #27: Commit 8c3dc21 pushed by sunbreak1211
October 3, 2024 20:14 14m 42s certora
certora
October 3, 2024 20:14 14m 42s
Add Certora specs test #801: Pull request #48 synchronize by sunbreak1211
September 30, 2024 17:27 1m 22s certora
certora
September 30, 2024 17:27 1m 22s
Add Certora specs Certora #26: Pull request #48 synchronize by sunbreak1211
September 30, 2024 17:27 1h 38m 6s certora
certora
September 30, 2024 17:27 1h 38m 6s
Changes in invariants test #800: Commit 6648e6f pushed by sunbreak1211
September 30, 2024 17:27 1m 19s certora
certora
September 30, 2024 17:27 1m 19s
Changes in invariants Certora #25: Commit 6648e6f pushed by sunbreak1211
September 30, 2024 17:27 1h 41m 31s certora
certora
September 30, 2024 17:27 1h 41m 31s
Add Certora specs test #799: Pull request #48 synchronize by sunbreak1211
September 26, 2024 20:02 55s certora
certora
September 26, 2024 20:02 55s
Add Certora specs Certora #24: Pull request #48 synchronize by sunbreak1211
September 26, 2024 20:02 1h 18m 41s certora
certora
September 26, 2024 20:02 1h 18m 41s
Fix test #798: Commit 9344695 pushed by sunbreak1211
September 26, 2024 20:02 53s certora
certora
September 26, 2024 20:02 53s
Fix Certora #23: Commit 9344695 pushed by sunbreak1211
September 26, 2024 20:02 1h 23m 14s certora
certora
September 26, 2024 20:02 1h 23m 14s
Add Certora specs Certora #22: Pull request #48 synchronize by sunbreak1211
September 26, 2024 19:38 1m 59s certora
certora
September 26, 2024 19:38 1m 59s
Add Certora specs test #797: Pull request #48 synchronize by sunbreak1211
September 26, 2024 19:38 56s certora
certora
September 26, 2024 19:38 56s
Improve invariants for staking test #796: Commit 850ff0a pushed by sunbreak1211
September 26, 2024 19:38 1m 24s certora
certora
September 26, 2024 19:38 1m 24s
Improve invariants for staking Certora #21: Commit 850ff0a pushed by sunbreak1211
September 26, 2024 19:38 13m 53s certora
certora
September 26, 2024 19:38 13m 53s
Add Certora specs Certora #20: Pull request #48 synchronize by sunbreak1211
September 25, 2024 16:35 1h 40m 8s certora
certora
September 25, 2024 16:35 1h 40m 8s
Add Certora specs test #795: Pull request #48 synchronize by sunbreak1211
September 25, 2024 16:35 58s certora
certora
September 25, 2024 16:35 58s