From 47c6ce78be7eef0a0bf69771aef5231587668a95 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 4 Mar 2023 14:51:05 +0000 Subject: [PATCH] Enabeling build of Isabelle_DOF-Proofs session. --- .woodpecker/build.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index 04119b50..d349b8cb 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -10,7 +10,8 @@ pipeline: - export `isabelle getenv ISABELLE_HOME_USER` - 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 build -x HOL-Proofs -x Isabelle_DOF-Proofs -D . -o browser_info + - if [ "$LATEX" == "lualatex" ]; then isabelle build -o 'timeout_scale=2' -D . -o browser_info; else echo "Skipping Isabelle_DOF-Proofs for pdflatex build."; fi - isabelle components -u . - isabelle dof_mkroot -q DOF_test - isabelle build -D DOF_test