Merge pull request #7952 from colonelpanic8/fix-ci-gmp

CI: install libgmp-dev for stack setup
This commit is contained in:
Jens Petersen 2026-02-27 20:12:11 +08:00 committed by GitHub
commit ae0eb347bb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -13,6 +13,10 @@ jobs:
name: Stackage check
steps:
- uses: actions/checkout@v6
- name: Install system deps
run: |
sudo apt-get update
sudo apt-get install -y libgmp-dev
- uses: actions/cache@v5
with:
path: |