ubuntu-24.04 20250527.1.0 broke building Haskell project under alpine

[andreasabel]

Description

The deployment of image version ubuntu-24.04 20250527.1.0 broke the Agda build script https://github.com/agda/agda/blob/1c722ca86dcb14a57dc3dc8644135e5798e9bf30/.github/workflows/deploy.yml.
This script installs Alpine Linux with GHC and Cabal using jirutka/setup-alpine@v1 (see https://github.com/agda/agda/blob/1c722ca86dcb14a57dc3dc8644135e5798e9bf30/.github/workflows/deploy.yml#L103).
It then builds Agda using a standard cabal invokation: https://github.com/agda/agda/blob/1c722ca86dcb14a57dc3dc8644135e5798e9bf30/.github/workflows/deploy.yml#L163
Using Alpine Linux (rather than Ubuntu) allows us to build a statically-linked executable.
The build now fails in the linking phase, not finding the gmp library https://github.com/agda/agda/actions/runs/15355704172/job/43214172299#step:15:35:

/usr/lib/gcc/x86_64-alpine-linux-musl/14.2.0/../../../../x86_64-alpine-linux-musl/bin/ld: cannot find -lgmp: No such file or directory
/usr/lib/gcc/x86_64-alpine-linux-musl/14.2.0/../../../../x86_64-alpine-linux-musl/bin/ld: have you installed the static version of the gmp library ?
collect2: error: ld returned 1 exit status
ghc-9.8.2: `cc' failed in phase `Linker'. (Exit code: 1)

Attempts to fix this by adding commands to install gmp on either the Ubuntu or the Alpine level failed.
The Alpine package for cabal already installs this dependency along with ghc.

Downstream issue and failed attempt to fix:

• Workflow deploy: install libgmp agda/agda#7919

Platforms affected

• Azure DevOps
• GitHub Actions - Standard Runners
• GitHub Actions - Larger Runners

Runner images affected

• Ubuntu 22.04
• Ubuntu 24.04
• macOS 13
• macOS 13 Arm64
• macOS 14
• macOS 14 Arm64
• macOS 15
• macOS 15 Arm64
• Windows Server 2019
• Windows Server 2022
• Windows Server 2025

Image version and build link

First broken build here: https://github.com/agda/agda/actions/runs/15355704172/job/43214172299#step:1:9
with ubuntu-24.04 20250527.1.0 .

Is it regression?

Yes, worked with 20250511.1.0, successful run here: https://github.com/agda/agda/actions/runs/15309259865/job/43069692210

Expected behavior

Success.

Actual behavior

Failure in linking phase not finding the gmp library.

Repro steps

The steps leading up to the problem are in the respective workflow file.
https://github.com/agda/agda/actions/runs/15355704172/workflow

[kishorekumar-anchala]

Thank you for bringing this issue to our attention. We will look into this issue and will update you after investigating.

[RaviAkshintala]

@andreasabel Could you please try to add this to your workflow. It passed for us.Thanks.