diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c16712f0439656d5132e30c6da5d8b4b34b1854f..54b8936a18ca1a1f7db7da9f3f0d9c0bed47046b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -95,7 +95,7 @@ full-4.07.1:
     DEBIAN_PACKAGES: hevea rubber texlive-latex-extra lmodern texlive-fonts-recommended
     OPAM_PACKAGES: coq-flocq.3.1.0 js_of_ocaml-ppx alt-ergo.2.0.0
   script:
-    - misc/ci-docker.sh misc/ci-local.sh bench ide doc
+    - misc/ci-docker.sh misc/ci-local.sh bench ide doc web_ide
 
 nightly-bench:
   stage: nightly
diff --git a/Makefile.in b/Makefile.in
index b9c4f96eddeedc219ec35a1186e0bd94a3046732..f0dde82ec144dbc9c22c25b158ae04948c3e9092 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1701,8 +1701,10 @@ src/ide/why3_js.byte: lib/why3/why3.cma src/ide/why3_js.cmo
 src/ide/why3_js.js: src/ide/why3_js.byte
 	js_of_ocaml +nat.js +dynlink.js +toplevel.js $<
 
-opt: bin/why3webserver.opt src/ide/why3_js.js
-byte: bin/why3webserver.byte src/ide/why3_js.js
+web_ide: src/ide/why3_js.js
+
+opt: bin/why3webserver.opt
+byte: bin/why3webserver.byte src/ide/why3_js.cmo
 
 endif
 
diff --git a/misc/ci-local.sh b/misc/ci-local.sh
index a41b22f4df8ac2080546ff9e67bb43cbeab52628..02299294a32aed3ac296c0eae535e1b4fdbafde2 100755
--- a/misc/ci-local.sh
+++ b/misc/ci-local.sh
@@ -19,6 +19,9 @@ do
             bin/why3config --detect
             bench/ide-bench
             ;;
+        web_ide)
+            make web_ide
+            ;;
         doc)
             make doc
             make stdlibdoc