Open adierkens opened 4 years ago
As part of the circle-ci builds, the proof tests in the sample app should also be ran.
hi, @adierkens I'd like to take this up
As part of the circle-ci builds, the proof tests in the sample app should also be ran.