From cdf1aaff5f26467c02e8aca568809f2c0ea71cea Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 20 Mar 2022 08:01:38 +0000 Subject: [PATCH] Switched from Jenkins to Woodpecker CI. --- .ci/Jenkinsfile | 10 ---------- README.md | 2 +- 2 files changed, 1 insertion(+), 11 deletions(-) delete mode 100644 .ci/Jenkinsfile diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile deleted file mode 100644 index 36ce2b2..0000000 --- a/.ci/Jenkinsfile +++ /dev/null @@ -1,10 +0,0 @@ -pipeline { - agent any - stages { - stage('Build') { - steps { - sh 'docker run -v $PWD/:/WORKING logicalhacking:isabelle2020-1 isabelle build -D /WORKING' - } - } - } -} diff --git a/README.md b/README.md index e1a0659..b32c4a3 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase specific functionality. The individual hacks usually consist out of a single theory file and all documentation is contained in that theory file. The master branch should work with the latest official -release of Isabelle (Isabelle 2021, at time of writing), hacks for +release of Isabelle (Isabelle 2021-1, at time of writing), hacks for older versions might be available on a dedicated branch. ## List of Isabelle Hacks