Code

CI fixes for #1598, #1599#1600

Code

Merged

RyanGlScott merged 6 commits intomasterGaloisInc/cryptol:masterfrom T1598-1599-ci-fixesGaloisInc/cryptol:T1598-1599-ci-fixesCopy head branch name to clipboardJan 4, 2024

+21-8

Commits

Commits on Jan 4, 2024

• Switch from haskell/actions/setup to haskell-actions/setup

  Show description for 3e176ce
  RyanGlScott

  committed
  3e176ce

• Pin alex to 3.4.0.1 in cryptol-remote-api Dockerfile

  Show description for 4d39471
  RyanGlScott

  committed
  4d39471

• Dockerfiles: Sync cabal-install version with CI

  RyanGlScott

  committed
  2d781a2

• cryptol-remote-api Dockerfile: Add /root/.local/bin to PATH

  Show description for 88cc752
  RyanGlScott

  committed
  88cc752

• Dockerfiles: Consistently factor out GHCVER, CABALVER

  RyanGlScott

  committed
  e72ca1f

• cryptol-remote-api Dockerfile: Factor out {ALEX,HAPPY}VER, documentation

  Show description for 5e0ea61
  RyanGlScott

  committed
  5e0ea61