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

Run MKR tests on CI #189

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This just runs the MKR tests on CI to make sure we have all the dependencies setup correctly ahead of time.