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
diff --git a/dev/ci/user-overlays/21743-vbgl-jasmin.sh b/dev/ci/user-overlays/21743-vbgl-jasmin.sh
new file mode 100644
index 000000000000..2bae8c9b820e
--- /dev/null
+++ b/dev/ci/user-overlays/21743-vbgl-jasmin.sh
@@ -0,0 +1 @@
+overlay jasmin https://github.com/jasmin-lang/jasmin ci-coq-master