forked from Isabelle_DOF/Isabelle_DOF
Basic Woodpecker setup (migration from Jenkins).
This commit is contained in:
parent
54c9bc2d74
commit
6c74a2e0f5
|
@ -0,0 +1,7 @@
|
|||
pipeline:
|
||||
generate_nn:
|
||||
image: docker.io/logicalhacking/isabelle2021
|
||||
commands:
|
||||
- ./install
|
||||
- isabelle build -D .
|
||||
|
|
@ -107,7 +107,7 @@ build_and_install_manuals()
|
|||
echo " 2018-cicm-isabelle_dof-applications Example academic paper" >> $ISADOF_WORK_DIR/doc/Contents
|
||||
|
||||
find $ISADOF_WORK_DIR -type d -name "output" -exec rm -rf {} \; &> /dev/null || true
|
||||
rm -rf $ISADOF_WORK_DIR/.git* $ISADOF_WORK_DIR/.ci $ISADOF_WORK_DIR/.afp
|
||||
rm -rf $ISADOF_WORK_DIR/.git* $ISADOF_WORK_DIR/.woodpecker $ISADOF_WORK_DIR/.afp
|
||||
if [ -f $ROOTS.backup ]; then
|
||||
mv $ROOTS.backup $ROOTS
|
||||
fi
|
Reference in New Issue