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

Liq2.0 #264

Open 0xverif opened 2 years ago

0xverif commented 2 years ago

Same code as this PR https://github.com/makerdao/mkr-mcd-spec/pull/250

This opens a new PR on the original repo to ensure running the correct Jenkinsfile version.