37 lines
1.1 KiB
YAML
37 lines
1.1 KiB
YAML
name: Update helpers
|
|
on:
|
|
push:
|
|
paths:
|
|
- 'main/**'
|
|
- 'extra/**'
|
|
jobs:
|
|
build_helpers:
|
|
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 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
|
|
uses: actions/git-auto-commit-action@v7
|
|
with:
|
|
commit_message: "[skip ci] Build helpers on push"
|
|
commit_user_name: Helpers compiler [bot]
|
|
commit_user_email: actions@janishutz.com
|
|
commit_author: Helpers compiler [bot] <actions@janishutz.com>
|
|
push_options: "--force"
|