setup-alpine icon indicating copy to clipboard operation
setup-alpine copied to clipboard
verified publisher icon jirutka

Breakage of GHC (linker misses `gmp`) on ubuntu-24.04 20250527.1.0 image

Open andreasabel opened this issue 7 months ago • 0 comments

Is this something that can be fixed in the Alpine setup?

  • https://github.com/actions/runner-images/issues/12324
  • https://github.com/agda/agda/pull/7919

Basically, with GHA upgrading their image to 20250527.1.0 compilation with GHC under Alpine breaks in the linking phase, not finding the gmp library. But afaics, the gmp library is a dependency of ghc in Alpine...

andreasabel avatar Jun 05 '25 08:06 andreasabel