Skip to content

Actions: makerdao/dss-vest

Actions

Echidna

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CS audit Echidna #348: Commit 122b170 pushed by 0xdecr1pto
December 13, 2024 16:14 22m 9s cs-audit
cs-audit
December 13, 2024 16:14 22m 9s
Add CS audit (#66) Echidna #347: Commit e9e6a77 pushed by 0xdecr1pto
December 13, 2024 16:14 24m 36s master
master
December 13, 2024 16:14 24m 36s
Add CS audit Echidna #346: Pull request #66 opened by 0xdecr1pto
December 13, 2024 15:32 25m 45s cs-audit
cs-audit
December 13, 2024 15:32 25m 45s
Add CS audit Echidna #345: Commit 122b170 pushed by 0xdecr1pto
December 13, 2024 15:31 23m 22s cs-audit
cs-audit
December 13, 2024 15:31 23m 22s
Merge pull request #65 from makerdao/refactor/suckable Echidna #344: Commit 41728f0 pushed by 0xdecr1pto
December 13, 2024 15:31 24m 46s cs-audit
cs-audit
December 13, 2024 15:31 24m 46s
Merge pull request #65 from makerdao/refactor/suckable Echidna #343: Commit 41728f0 pushed by amusingaxl
November 5, 2024 14:25 25m 18s master
master
November 5, 2024 14:25 25m 18s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #342: Pull request #65 synchronize by amusingaxl
November 4, 2024 14:23 23m 8s refactor/suckable
refactor/suckable
November 4, 2024 14:23 23m 8s
refactor: remove assert error message Echidna #341: Commit a65e44b pushed by amusingaxl
November 4, 2024 14:23 22m 14s refactor/suckable
refactor/suckable
November 4, 2024 14:23 22m 14s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #340: Pull request #65 synchronize by amusingaxl
October 28, 2024 14:12 22m 32s refactor/suckable
refactor/suckable
October 28, 2024 14:12 22m 32s
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: 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
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
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(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 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
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 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: 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
Refactor: make DssVestSuckable.join a constructor parameter Echidna #328: Pull request #65 synchronize by amusingaxl
October 14, 2024 20:50 22m 22s refactor/suckable
refactor/suckable
October 14, 2024 20:50 22m 22s
fix: add missing solc-select version Echidna #327: Commit a8db00d pushed by amusingaxl
October 14, 2024 20:50 21m 39s refactor/suckable
refactor/suckable
October 14, 2024 20:50 21m 39s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #326: Pull request #65 synchronize by amusingaxl
October 14, 2024 20:31 24m 21s refactor/suckable
refactor/suckable
October 14, 2024 20:31 24m 21s
refactor(DssVestTransferrable): fix Certora spec Echidna #325: Commit b50b46a pushed by amusingaxl
October 14, 2024 20:31 22m 1s refactor/suckable
refactor/suckable
October 14, 2024 20:31 22m 1s
Refactor: make DssVestSuckable.join a constructor parameter Echidna #324: Pull request #65 opened by amusingaxl
October 11, 2024 14:12 25m 36s refactor/suckable
refactor/suckable
October 11, 2024 14:12 25m 36s