Skip to content

Actions: makerdao/dss-vest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: address @oldchili review comments Echidna #339: Commit e37bf81 pushed by amusingaxl
October 28, 2024 14:11 22m 52s refactor/suckable
refactor/suckable
October 28, 2024 14:11 22m 52s
refactor: address @oldchili review comments Certora #122: Commit e37bf81 pushed by amusingaxl
October 28, 2024 14:11 16m 51s refactor/suckable
refactor/suckable
October 28, 2024 14:11 16m 51s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #338: Pull request #65 synchronize by amusingaxl
October 23, 2024 13:28 22m 6s refactor/suckable
refactor/suckable
October 23, 2024 13:28 22m 6s
Refactor: make DssVestSuckable.join a constructor parameter Certora #121: Pull request #65 synchronize by amusingaxl
October 23, 2024 13:28 6m 7s refactor/suckable
refactor/suckable
October 23, 2024 13:28 6m 7s
fix(DssVestTest): remove remaining debug assert messages Echidna #337: Commit 8dfa747 pushed by amusingaxl
October 23, 2024 13:28 22m 37s refactor/suckable
refactor/suckable
October 23, 2024 13:28 22m 37s
fix(DssVestTest): remove remaining debug assert messages Certora #120: Commit 8dfa747 pushed by amusingaxl
October 23, 2024 13:28 6m 10s refactor/suckable
refactor/suckable
October 23, 2024 13:28 6m 10s
fix(DssVestTest): remove remaining debug assert messages Tests #260: Commit 8dfa747 pushed by amusingaxl
October 23, 2024 13:28 28s refactor/suckable
refactor/suckable
October 23, 2024 13:28 28s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #336: Pull request #65 synchronize by amusingaxl
October 23, 2024 13:26 24m 11s refactor/suckable
refactor/suckable
October 23, 2024 13:26 24m 11s
Refactor: make DssVestSuckable.join a constructor parameter Certora #119: Pull request #65 synchronize by amusingaxl
October 23, 2024 13:26 7m 31s refactor/suckable
refactor/suckable
October 23, 2024 13:26 7m 31s
refactor(DssVestMintable): remove filtered clause from rule Certora #118: Commit 09a246d pushed by amusingaxl
October 23, 2024 13:26 7m 15s refactor/suckable
refactor/suckable
October 23, 2024 13:26 7m 15s
refactor(DssVestMintable): remove filtered clause from rule Tests #259: Commit 09a246d pushed by amusingaxl
October 23, 2024 13:26 41s refactor/suckable
refactor/suckable
October 23, 2024 13:26 41s
refactor(DssVestMintable): remove filtered clause from rule Echidna #335: Commit 09a246d pushed by amusingaxl
October 23, 2024 13:26 22m 13s refactor/suckable
refactor/suckable
October 23, 2024 13:26 22m 13s
Refactor: make DssVestSuckable.join a constructor parameter Certora #117: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:20 17m 43s refactor/suckable
refactor/suckable
October 22, 2024 20:20 17m 43s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #334: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:20 23m 16s refactor/suckable
refactor/suckable
October 22, 2024 20:20 23m 16s
chore: remove debug assertion messages Echidna #333: Commit 59f4e27 pushed by amusingaxl
October 22, 2024 20:20 25m 3s refactor/suckable
refactor/suckable
October 22, 2024 20:20 25m 3s
chore: remove debug assertion messages Tests #258: Commit 59f4e27 pushed by amusingaxl
October 22, 2024 20:20 25s refactor/suckable
refactor/suckable
October 22, 2024 20:20 25s
chore: remove debug assertion messages Certora #116: Commit 59f4e27 pushed by amusingaxl
October 22, 2024 20:20 18m 34s refactor/suckable
refactor/suckable
October 22, 2024 20:20 18m 34s
Refactor: make DssVestSuckable.join a constructor parameter Certora #115: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:16 16m 33s refactor/suckable
refactor/suckable
October 22, 2024 20:16 16m 33s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #332: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:16 22m 57s refactor/suckable
refactor/suckable
October 22, 2024 20:16 22m 57s
refactor: removed outdated disclaimer comment Tests #257: Commit 845da0a pushed by amusingaxl
October 22, 2024 20:16 40s refactor/suckable
refactor/suckable
October 22, 2024 20:16 40s
refactor: removed outdated disclaimer comment Echidna #331: Commit 845da0a pushed by amusingaxl
October 22, 2024 20:16 22m 3s refactor/suckable
refactor/suckable
October 22, 2024 20:16 22m 3s
refactor: removed outdated disclaimer comment Certora #114: Commit 845da0a pushed by amusingaxl
October 22, 2024 20:16 19m 3s refactor/suckable
refactor/suckable
October 22, 2024 20:16 19m 3s
Refactor: make DssVestSuckable.join a constructor parameter Certora #113: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:14 16m 2s refactor/suckable
refactor/suckable
October 22, 2024 20:14 16m 2s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #330: Pull request #65 synchronize by amusingaxl
October 22, 2024 20:14 24m 54s refactor/suckable
refactor/suckable
October 22, 2024 20:14 24m 54s
refactor: address review comments Echidna #329: Commit e6aa067 pushed by amusingaxl
October 22, 2024 20:14 24m 45s refactor/suckable
refactor/suckable
October 22, 2024 20:14 24m 45s