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