Delete .gitea/workflows/compile.yml

.gitea/workflows/compile.yml

@@ -1,84 +0,0 @@
-name: Build LaTeX Manual
-
-on:
-  push:
-    branches:
-      - main  # Change to the branch you want to build
-
-run-name: Manual PDF - ${{ gitea.run_number }}
-
-jobs:
-  build-manual:
-    runs-on: ubuntu-latest
-
-    # The compiler runs inside this container, not in the Gitea
-    # server container. Pin the image to a reviewed SHA-256 digest.
-    container:
-      image: texlive/texlive@sha256:a7ae4dfa9d521b5db14446872fa488b839021d1f604d0a3c74461784895f2a67
-      options: --user 1000:1000
-
-    steps:
-      - name: Check out triggering revision
-        uses: actions/checkout@v4
-        with:
-          ref: ${{ gitea.sha }}
-          persist-credentials: false
-
-      - name: Record toolchain and verify inputs
-        shell: bash
-        env:
-          BUILD_COMMIT: ${{ gitea.sha }}
-          BUILD_NUMBER: ${{ gitea.run_number }}
-        run: |
-          set -eu
-
-          echo "Commit: ${BUILD_COMMIT}"
-          echo "Workflow run: ${BUILD_NUMBER}"
-          echo "Compiler environment:"
-          cat /etc/os-release
-          pdflatex --version
-          latexmk --version
-
-          test -f manual.tex || {
-            echo "::error::Expected source manual.tex was not found."
-            exit 1
-          }
-
-          mkdir -p build
-
-          cat > build/build-version.tex <<EOF
-          \newcommand{\BuildCommit}{${BUILD_COMMIT}}
-          \newcommand{\BuildRunNumber}{${BUILD_NUMBER}}
-          EOF
-
-      - name: Compile manual
-        shell: bash
-        env:
-          BUILD_COMMIT: ${{ gitea.sha }}
-          BUILD_NUMBER: ${{ gitea.run_number }}
-        run: |
-          set -eu
-
-          # A nonzero compiler exit status fails the job.
-          latexmk -pdf -halt-on-error -file-line-error \
-            -interaction=nonstopmode \
-            -outdir=build manual.tex || {
-              echo "::error::LaTeX compilation failed."
-              exit 1
-            }
-
-          if [ ! -s build/manual.pdf ]; then
-            echo "::error::Compilation reported success, but build/manual.pdf is missing or empty."
-            exit 1
-          fi
-
-          echo "PDF created successfully:"
-          ls -lh build/manual.pdf
-
-      - name: Upload compiled PDF
-        uses: actions/upload-artifact@v4
-        with:
-          name: manual-pdf-${{ gitea.run_number }}
-          path: build/manual.pdf
-          if-no-files-found: error
-          retention-days: 90