Run MKR testing harness on CI

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

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This just sets up the MKR testing harness for https://github.com/makerdao/mkr-mcd-spec-sol-tests to run on CI (just to make sure we have all the dependencies we need in place).

Next PR will update to actually generate the tests as specified and run them.

ehildenb commented 4 years ago

Messed up the submodules.