Code

[CI] Bump cabal version#1861

Code

Merged

m-yac merged 2 commits intomasterGaloisInc/saw-script:masterfrom ci-prelude-sawcoreGaloisInc/saw-script:ci-prelude-sawcoreCopy head branch name to clipboardApr 20, 2023

+4-4

Commits

Commits on Apr 19, 2023

• bump cabal version in CI

  m-yac

  committed
  77f6449

  Copy full SHA for 77f6449

Commits on Apr 20, 2023

• CI: Specify 3.10.1.0 consistently

  RyanGlScott

  committed
  7e23fc2

  Copy full SHA for 7e23fc2