CI: build the Pulse library

project-everest · Jan 23, 2024 · 2ef84f8 · 2ef84f8
1 parent 1c313da
commit 2ef84f8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.docker/build/install-other-deps.sh b/.docker/build/install-other-deps.sh
@@ -27,6 +27,8 @@ fi
 if [[ -n "$STEEL_HOME" ]] ; then
     git clone --branch $STEEL_BRANCH https://github.com/FStarLang/steel "$STEEL_HOME"
     OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$STEEL_HOME"
+    # Verify the Pulse library
+    make -j 24 -C "$STEEL_HOME"/share/steel/examples/pulse lib
 fi
 
 opam install hex re ctypes sha sexplib