From 688d612fe13de0b69d4493775a6f43a6b93d7f2c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Christophe=20L=C3=A9chenet?=
 <jean-christophe.lechenet@inria.fr>
Date: Wed, 11 Mar 2026 15:52:26 +0100
Subject: [PATCH] [CI] Reenable jasmin

now that the extraction problems are fixed
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e3d4517163a8..2560f0f8ff32 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1060,7 +1060,7 @@ library:ci-mathcomp_word:
   - library:ci-mathcomp
   stage: build-2
 
-.library:ci-jasmin:  # disabled until repaired
+library:ci-jasmin:
   extends: .ci-template-flambda
   needs:
   - build:edge+flambda