From e98e02300e74d96fe3ba349ee049bc06cd8c3918 Mon Sep 17 00:00:00 2001
From: Alejandro Cabeza Romero <alex93cabeza@gmail.com>
Date: Fri, 22 May 2026 15:08:47 +0200
Subject: [PATCH] Add gmp debug checks on windows.

---
 .github/workflows/ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 619fc0a..32582d7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -705,6 +705,10 @@ jobs:
           $env:RUSTFLAGS="-A dead_code"; cargo install --path circom
           circom --version
 
+      - name: Check GMP Before Deps
+        shell: msys2 {0}
+        run: pacman -Q | grep gmp || echo "gmp not installed"
+
       - name: Install Dependencies [Witness Generator]
         shell: msys2 {0}
         run: |
@@ -720,10 +724,18 @@ jobs:
           make install
           popd
 
+      - name: Check GMP After Witness Generator Deps
+        shell: msys2 {0}
+        run: pacman -Q | grep gmp || echo "gmp not installed"
+
       - name: Install Dependencies [Prover]
         shell: msys2 {0}
         run: pacman --noconfirm -Sy --needed cmake nasm mingw-w64-ucrt-x86_64-libsodium
 
+      - name: Check GMP After Prover Deps
+        shell: msys2 {0}
+        run: pacman -Q | grep gmp || echo "gmp not installed"
+
       - name: Replace Prover Makefile # TODO: Make a fork generate the appropriate Windows Makefile
         shell: msys2 {0}
         run: cp .github/resources/prover/Makefile rapidsnark/Makefile