diff --git a/.docker/build/install-other-deps.sh b/.docker/build/install-other-deps.sh
index 52fe7b75f..3ea4cf5d0 100755
--- 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