diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml
index 05fc9c2..b0c3814 100644
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@@ -9,6 +9,9 @@ pipeline:
       - mkdir -p $ISABELLE_HOME_USER/etc
       - echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings
       - isabelle build -v -x HOL-Proofs -x Isabelle_DOF-Proofs -D . -o browser_info
+      - isabelle components -u .
+      - isabelle dof_mkroot -q DOF_test
+      - isabelle build -D DOF_test
       - cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
       - cd $ARTIFACT_DIR
       - cd ../..