Code

Add prover tests to CI#1629

Code

Merged

abakst merged 2 commits intomasterGaloisInc/saw-script:masterfrom heapster/prover-tests-ciGaloisInc/saw-script:heapster/prover-tests-ciCopy head branch name to clipboardApr 20, 2022

+3-2

Commits

Commits on Apr 19, 2022

• Add prover tests to CI

  abakst

  committed
  de7e41c

  Copy full SHA for de7e41c

Commits on Apr 20, 2022

• Fix build for GHC 9.0.2

  abakst

  committed
  342bb74

  Copy full SHA for 342bb74