Skip to content

Actions: makerdao/lockstake

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
857 workflow runs
857 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add more invariants to LockstakeEngine test #794: Commit 704807c pushed by sunbreak1211
September 25, 2024 16:35 1m 20s certora
certora
September 25, 2024 16:35 1m 20s
Add more invariants to LockstakeEngine Certora #19: Commit 704807c pushed by sunbreak1211
September 25, 2024 16:35 1h 20m 18s certora
certora
September 25, 2024 16:35 1h 20m 18s
Update gas cost benchmarks in README test #793: Pull request #63 opened by telome
September 24, 2024 09:23 52s update-readme-benchmarks
update-readme-benchmarks
September 24, 2024 09:23 52s
Update gas cost benchmarks in README test #792: Commit 6e25390 pushed by telome
September 24, 2024 09:23 1m 1s update-readme-benchmarks
update-readme-benchmarks
September 24, 2024 09:23 1m 1s
Add bark/take benchmarks test #791: Pull request #38 synchronize by telome
September 23, 2024 17:05 1m 0s benchmarks
benchmarks
September 23, 2024 17:05 1m 0s
Update benchmarks test #790: Commit a9c7a3e pushed by telome
September 23, 2024 17:05 1m 1s benchmarks
benchmarks
September 23, 2024 17:05 1m 1s