[CI] Add
Some checks failed
Build helpers / build_docs (push) Failing after 1m9s
Build Docs / build_docs (push) Failing after 2m44s

This commit is contained in:
2025-12-22 14:54:57 +01:00
parent cc78cee14f
commit 978039b0d0
4 changed files with 43 additions and 0 deletions

View File

@@ -0,0 +1,18 @@
name: Build helpers
on:
push
jobs:
build_docs:
runs_on: ubuntu-latest
steps:
- name: Set up Git repository
uses: actions/checkout@v6
- name: Run build
run: build.sh
- name: Upload PDF file
uses: stefanzweifel/git-auto-commit-action@v7
with:
commit_message: "[skip ci] Build helpers on push"
file_pattern: '*.tex'
commit_user_name: Helpers compiler [bot]
commit_user_email: actions@janishutz.com