Janis Hutz
f1b64e8ddb
All checks were successful
Build helpers / build_helpers (push) Successful in 5s
29 lines
706 B
YAML
29 lines
706 B
YAML
name: Build helpers
|
|
on:
|
|
push
|
|
# push:
|
|
# paths:
|
|
# - 'main/**'
|
|
# - 'extra/**'
|
|
jobs:
|
|
build_helpers:
|
|
runs_on: ubuntu-latest
|
|
steps:
|
|
- name: Set up Git repository
|
|
uses: actions/checkout@v6
|
|
- name: Run build
|
|
run: ./build.sh
|
|
- name: Show details
|
|
run: ls dist
|
|
- name: Show diff
|
|
run: git diff
|
|
- name: Show log
|
|
run: git log
|
|
- name: Upload compiled helpers
|
|
uses: actions/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
|