Skip to content

Actions: makerdao/dss-vest

Actions

Certora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
certora.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CS audit Certora #131: Commit 122b170 pushed by 0xdecr1pto
December 13, 2024 16:14 3m 23s cs-audit
cs-audit
December 13, 2024 16:14 3m 23s
Add CS audit (#66) Certora #130: Commit e9e6a77 pushed by 0xdecr1pto
December 13, 2024 16:14 2m 36s master
master
December 13, 2024 16:14 2m 36s
Add CS audit Certora #129: Pull request #66 opened by 0xdecr1pto
December 13, 2024 15:32 15m 18s cs-audit
cs-audit
December 13, 2024 15:32 15m 18s
Add CS audit Certora #128: Commit 122b170 pushed by 0xdecr1pto
December 13, 2024 15:31 16m 13s cs-audit
cs-audit
December 13, 2024 15:31 16m 13s
Merge pull request #65 from makerdao/refactor/suckable Certora #127: Commit 41728f0 pushed by 0xdecr1pto
December 13, 2024 15:31 15m 34s cs-audit
cs-audit
December 13, 2024 15:31 15m 34s
Merge pull request #65 from makerdao/refactor/suckable Certora #126: Commit 41728f0 pushed by amusingaxl
November 5, 2024 14:25 4m 17s master
master
November 5, 2024 14:25 4m 17s
Refactor: make DssVestSuckable.join a constructor parameter Certora #125: Pull request #65 synchronize by amusingaxl
November 4, 2024 14:23 2m 21s refactor/suckable
refactor/suckable
November 4, 2024 14:23 2m 21s
refactor: remove assert error message Certora #124: Commit a65e44b pushed by amusingaxl
November 4, 2024 14:23 2m 34s refactor/suckable
refactor/suckable
November 4, 2024 14:23 2m 34s
Refactor: make DssVestSuckable.join a constructor parameter Certora #123: Pull request #65 synchronize by amusingaxl
October 28, 2024 14:12 16m 47s refactor/suckable
refactor/suckable
October 28, 2024 14:12 16m 47s
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 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 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
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: 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
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: 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: address review comments Certora #112: Commit e6aa067 pushed by amusingaxl
October 22, 2024 20:14 15m 42s refactor/suckable
refactor/suckable
October 22, 2024 20:14 15m 42s
Refactor: make DssVestSuckable.join a constructor parameter Certora #111: Pull request #65 synchronize by amusingaxl
October 14, 2024 20:50 17m 10s refactor/suckable
refactor/suckable
October 14, 2024 20:50 17m 10s
fix: add missing solc-select version Certora #110: Commit a8db00d pushed by amusingaxl
October 14, 2024 20:50 17m 26s refactor/suckable
refactor/suckable
October 14, 2024 20:50 17m 26s
Refactor: make DssVestSuckable.join a constructor parameter Certora #109: Pull request #65 synchronize by amusingaxl
October 14, 2024 20:31 22s refactor/suckable
refactor/suckable
October 14, 2024 20:31 22s
refactor(DssVestTransferrable): fix Certora spec Certora #108: Commit b50b46a pushed by amusingaxl
October 14, 2024 20:31 11m 21s refactor/suckable
refactor/suckable
October 14, 2024 20:31 11m 21s
Refactor: make DssVestSuckable.join a constructor parameter Certora #107: Pull request #65 opened by amusingaxl
October 11, 2024 14:12 25s refactor/suckable
refactor/suckable
October 11, 2024 14:12 25s