Prepare automated manual build and Chapter 3 draft
Build SmartPark manual / manual (push) Successful in 51s

This commit is contained in:
2026-10-09 21:01:49 -04:00
parent 2c9ddea66f
commit efe92994f6
11 changed files with 662 additions and 1 deletions
+36
View File
@@ -0,0 +1,36 @@
name: Build SmartPark manual
on:
push:
branches:
- main
- chapter3-build-automation
- chapter3-build-test
jobs:
manual:
runs-on: smartpark-latex
timeout-minutes: 20
steps:
- name: Check out the triggering revision
uses: https://github.com/actions/checkout@v4.2.2
with:
ref: ${{ github.sha }}
fetch-depth: 1
persist-credentials: false
- name: Build PDF and record source identity
env:
MANUAL_CI: 'true'
MANUAL_COMMIT: ${{ github.sha }}
MANUAL_RUN_NUMBER: ${{ github.run_number }}
run: python3 ci/build_manual.py
- name: Publish PDF
# v3 uses the legacy artifact protocol commonly supported by Gitea.
# Actual upload compatibility and retention must be verified on this server.
uses: https://github.com/actions/upload-artifact@v3.1.3
with:
name: smartpark-manual-${{ github.run_number }}-${{ github.sha }}
path: |
build/manual/SmartPark-Manual.pdf
build/manual/build-info.txt
if-no-files-found: error
retention-days: 30