diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 6d5c475..2bf1e95 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -42,4 +42,4 @@ jobs: run: | test ! -f output.log test ! -f __DOC_CHECKER__.g - find doc \( -name '*.aux' -o -name '*.bbl' -o -name '*.blg' -o -name '*.brf' -o -name '*.idx' -o -name '*.ilg' -o -name '*.ind' -o -name '*.log' -o -name '*.out' -o -name '*.pnr' -o -name '*.toc' -o -name '*.tst' \) -exec test ! -f {} + + find doc \( -name '*.aux' -o -name '*.bbl' -o -name '*.blg' -o -name '*.brf' -o -name '*.dvi' -o -name '*.idx' -o -name '*.ilg' -o -name '*.ind' -o -name '*.log' -o -name '*.out' -o -name '*.pnr' -o -name '*.toc' -o -name '*.tst' \) -exec test ! -f {} + diff --git a/README.md b/README.md index 47b8a3a..1758dbd 100644 --- a/README.md +++ b/README.md @@ -52,7 +52,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 - uses: gap-actions/setup-gap@v3 - uses: gap-actions/build-pkg-docs@v2 ``` @@ -73,7 +73,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 - uses: gap-actions/setup-gap@v3 - uses: gap-actions/build-pkg-docs@v2 with: