Switched from Jenkins to Woodpecker CI.
This commit is contained in:
parent
87794eef79
commit
cdf1aaff5f
|
@ -1,10 +0,0 @@
|
||||||
pipeline {
|
|
||||||
agent any
|
|
||||||
stages {
|
|
||||||
stage('Build') {
|
|
||||||
steps {
|
|
||||||
sh 'docker run -v $PWD/:/WORKING logicalhacking:isabelle2020-1 isabelle build -D /WORKING'
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
|
@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase
|
||||||
specific functionality. The individual hacks usually consist out of
|
specific functionality. The individual hacks usually consist out of
|
||||||
a single theory file and all documentation is contained in that
|
a single theory file and all documentation is contained in that
|
||||||
theory file. The master branch should work with the latest official
|
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.
|
older versions might be available on a dedicated branch.
|
||||||
|
|
||||||
## List of Isabelle Hacks
|
## List of Isabelle Hacks
|
||||||
|
|
Loading…
Reference in New Issue