Skip to content

Actions: makerdao/lockstake

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
816 workflow runs
816 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from makerdao/dev
test #816: Commit 602edbb pushed by sunbreak1211
November 12, 2024 17:19 1m 14s master
November 12, 2024 17:19 1m 14s
Add initial LockstakeEngine/Urn/Clipper logic + tests
test #815: Pull request #1 synchronize by sunbreak1211
November 12, 2024 11:11 1m 20s dev
dev
November 12, 2024 11:11 1m 20s
Adjust Certora flags
test #814: Commit 745ffd7 pushed by sunbreak1211
November 12, 2024 11:10 1m 18s dev
dev
November 12, 2024 11:10 1m 18s
Add initial LockstakeEngine/Urn/Clipper logic + tests
test #813: Pull request #1 synchronize by sunbreak1211
October 25, 2024 20:16 54s dev
dev
October 25, 2024 20:16 54s
Certora: Improve PATH compatibility
test #812: Commit 2e6e3e8 pushed by sunbreak1211
October 25, 2024 20:16 54s dev
dev
October 25, 2024 20:16 54s
Add initial LockstakeEngine/Urn/Clipper logic + tests
test #811: Pull request #1 synchronize by sunbreak1211
October 22, 2024 16:30 1m 2s dev
dev
October 22, 2024 16:30 1m 2s
Certora: minor changes
test #810: Commit 444e723 pushed by sunbreak1211
October 22, 2024 16:30 57s dev
dev
October 22, 2024 16:30 57s
Add initial LockstakeEngine/Urn/Clipper logic + tests
test #809: Pull request #1 synchronize by sunbreak1211
October 21, 2024 15:03 1m 23s dev
dev
October 21, 2024 15:03 1m 23s
Fix tests after spell cast + minor update on README
test #808: Commit 445b08a pushed by sunbreak1211
October 21, 2024 15:03 55s dev
dev
October 21, 2024 15:03 55s
Add initial LockstakeEngine/Urn/Clipper logic + tests
test #807: Pull request #1 synchronize by sunbreak1211
October 21, 2024 14:16 1m 22s dev
dev
October 21, 2024 14:16 1m 22s
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
test #805: Pull request #48 synchronize by sunbreak1211
October 3, 2024 21:33 1m 4s certora
October 3, 2024 21:33 1m 4s
Fix
test #804: Commit f7a4013 pushed by sunbreak1211
October 3, 2024 21:33 1m 2s 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
October 3, 2024 20:14 54s
Include view functions invariants as well
test #802: Commit 8c3dc21 pushed by sunbreak1211
October 3, 2024 20:14 53s certora
October 3, 2024 20:14 53s
Add Certora specs
test #801: Pull request #48 synchronize by sunbreak1211
September 30, 2024 17:27 1m 22s certora
September 30, 2024 17:27 1m 22s
Changes in invariants
test #800: Commit 6648e6f pushed by sunbreak1211
September 30, 2024 17:27 1m 19s certora
September 30, 2024 17:27 1m 19s
Add Certora specs
test #799: Pull request #48 synchronize by sunbreak1211
September 26, 2024 20:02 55s certora
September 26, 2024 20:02 55s
Fix
test #798: Commit 9344695 pushed by sunbreak1211
September 26, 2024 20:02 53s certora
September 26, 2024 20:02 53s
Add Certora specs
test #797: Pull request #48 synchronize by sunbreak1211
September 26, 2024 19:38 56s 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
September 26, 2024 19:38 1m 24s
Add Certora specs
test #795: Pull request #48 synchronize by sunbreak1211
September 25, 2024 16:35 58s 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
September 25, 2024 16:35 1m 20s
Update gas cost benchmarks in README
test #793: Pull request #63 opened by telome
September 24, 2024 09:23 52s 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
September 24, 2024 09:23 1m 1s