From e8c18a5ef63d90838fa0940d5dbe6d5d8fede367 Mon Sep 17 00:00:00 2001
From: Ivan Malison <IvanMalison@gmail.com>
Date: Tue, 17 Feb 2026 23:43:09 -0800
Subject: [PATCH] CI: install libgmp-dev for stack setup

---
 .github/workflows/check.yml | 4 ++++
 1 file changed, 4 insertions(+)

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: |