From 2c0db60c7d333f63094b4127b6be94478b0f4b72 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Fri, 9 Jan 2026 14:15:34 +0100 Subject: [PATCH] [CI] Update to also format --- .../{build-docs.yml => update-docs.yml} | 6 +++++- .../{build-helpers.yml => update-helpers.yml} | 16 +++++++++++++++- 2 files changed, 20 insertions(+), 2 deletions(-) rename .gitea/workflows/{build-docs.yml => update-docs.yml} (88%) rename .gitea/workflows/{build-helpers.yml => update-helpers.yml} (54%) diff --git a/.gitea/workflows/build-docs.yml b/.gitea/workflows/update-docs.yml similarity index 88% rename from .gitea/workflows/build-docs.yml rename to .gitea/workflows/update-docs.yml index 7c91fb1..82ec486 100644 --- a/.gitea/workflows/build-docs.yml +++ b/.gitea/workflows/update-docs.yml @@ -1,4 +1,4 @@ -name: Build docs +name: Update docs on: push: paths: @@ -15,6 +15,10 @@ jobs: username: ${{ vars.REGISTRY_USER_USERNAME }} password: ${{ secrets.REGISTRY_USER_PASSWORD }} registry: ${{ vars.REGISTRY_BASE_URL }} + - name: Run format of docs + uses: actions/latex-format@main + with: + workdir: docs - name: Run build uses: actions/latex-full@main with: diff --git a/.gitea/workflows/build-helpers.yml b/.gitea/workflows/update-helpers.yml similarity index 54% rename from .gitea/workflows/build-helpers.yml rename to .gitea/workflows/update-helpers.yml index fe165f2..7efe61a 100644 --- a/.gitea/workflows/build-helpers.yml +++ b/.gitea/workflows/update-helpers.yml @@ -1,4 +1,4 @@ -name: Build helpers +name: Update helpers on: push: paths: @@ -10,6 +10,20 @@ jobs: 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 format of main + uses: actions/latex-format@main + with: + workdir: main + - name: Run format of extra + uses: actions/latex-format@main + with: + workdir: extra - name: Run build run: ./build.sh - name: Upload compiled helpers