Merge e8c18a5ef6 into 09ff6e80b8

2026-02-20 18:25:48 +01:00 · 2026-02-20 08:00:34 +01:00 · 2026-02-20 08:00:34 +01:00 · ac230b890c
commit ac230b890c
parent 09ff6e80b8 e8c18a5ef6
1 changed files with 4 additions and 0 deletions
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@ -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: |