Renaming.

2023-03-01 09:24:09 +00:00 · 2023-03-01 09:24:09 +00:00 · 990c6f7708
parent 14dd368cd0
commit 990c6f7708
2 changed files with 1 additions and 1 deletions
--- a/.woodpecker/build.yml
+++ b/.woodpecker/build.yml
@ -2,7 +2,7 @@ pipeline:
  build:
    image: docker.io/logicalhacking/isabelle2022
    commands:
-      - ./.woodpecker/unchecked-theories
+      - ./.woodpecker/check_dangeling_theories
      - ./.woodpecker/check_external_file_refs
      - export ARTIFACT_DIR=$CI_WORKSPACE/.artifacts/$CI_REPO/$CI_BRANCH/$CI_BUILD_NUMBER/$LATEX
      - mkdir -p $ARTIFACT_DIR
--- a/.woodpecker/check_dangeling_theories
+++ b/.woodpecker/check_dangeling_theories