search

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

Git Grooming #223

Closed WilfredTA closed 3 years ago

WilfredTA commented 3 years ago

We need to review PRs and close them out. We also need to update any package dependencies between K tools and Maker code.