proof
proof copied to clipboard
Integration testing in CI
As part of the circle-ci builds, the proof tests in the sample app should also be ran.
As part of the circle-ci builds, the proof tests in the sample app should also be ran.