Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Updated image name.

This commit is contained in:
Achim D. Brucker 2023-04-27 13:35:11 +01:00
parent 496a850700
commit 4df233e9f4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.woodpecker/build.yml
View File

@ -1,6 +1,6 @@
pipeline:
build:
image: docker.io/logicalhacking/isabelle-dev
image: docker.io/logicalhacking/isabelle_nightly:latest
commands:
- ./.woodpecker/check_dangling_theories
- ./.woodpecker/check_external_file_refs