Test mkroot_DOF as part of CI build.

2022-03-26 21:30:15 +00:00 · 2022-03-26 21:30:15 +00:00 · 57b9720d99
parent 846237b515
commit 57b9720d99
1 changed files with 2 additions and 0 deletions
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@ -9,6 +9,8 @@ pipeline:
      - echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings
      - ./install
      - isabelle build -D . -o browser_info
+      - isabelle mkroot_DOF DOF_test
+      - isabelle build -D DOF_test
      - cp -r $ISABELLE_HOME_USER/browser_info $ARTIFACT_DIR
      - cd $ARTIFACT_DIR
      - cd ..