Code

CI: Use cabal 3.10#1527

Code

Closed

qsctr wants to merge 3 commits intomasterGaloisInc/cryptol:masterfrom ci-cabal-3.10GaloisInc/cryptol:ci-cabal-3.10Copy head branch name to clipboard

+2-1

Commits

Commits on Jun 9, 2023

• CI: Use cabal 3.10.1.1 for test jobs

  qsctr

  committed
  7254c5b

Commits on Jun 10, 2023

• CI: Use cabal 3.10.1.1 for build jobs

  qsctr

  committed
  9d7133d

• CI: Use cabal 3.10.1.0

  qsctr

  committed
  40b7c4a