From 4102cafa6ec1972e33653652272d3f79e6d32a67 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 09:00:15 +0100 Subject: [PATCH] Revert "[CI] Remove docs build" This reverts commit bdb72b2e2aa2693445d835b82c8e37c7e5c579d9. --- .gitea/workflows/build-docs.yml | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .gitea/workflows/build-docs.yml diff --git a/.gitea/workflows/build-docs.yml b/.gitea/workflows/build-docs.yml new file mode 100644 index 0000000..9502f55 --- /dev/null +++ b/.gitea/workflows/build-docs.yml @@ -0,0 +1,29 @@ +name: Build docs +on: + push + # push: + # paths: + # - 'docs/**' +jobs: + build_docs: + runs_on: ubuntu-latest + steps: + - name: Set up Git repository + uses: actions/checkout@v6 + - name: Sign into gitea registry + uses: https://github.com/docker/login-action@v3 + with: + username: ${{ vars.REGISTRY_USER_USERNAME }} + password: ${{ secrets.REGISTRY_USER_PASSWORD }} + registry: ${{ vars.REGISTRY_BASE_URL }} + - name: Run build + uses: actions/latex@main + with: + workdir: docs + - name: Upload compiled docs + uses: actions/git-auto-commit-action@v7 + with: + commit_message: "[skip ci] Build docs on push" + file_pattern: '*.tex' + commit_user_name: LaTeX compiler [bot] + commit_user_email: actions@janishutz.com