diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index fa930813..fd7abaf1 100644
--- 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: |