division du travail en deux

This commit is contained in:
J0bot
2026-03-19 17:25:32 +01:00
parent cc54d9bcf9
commit fd9e755c91

View File

@@ -20,12 +20,11 @@ jobs:
- name: Checkout - name: Checkout
uses: actions/checkout@v4 uses: actions/checkout@v4
- name: Install fonts and git - name: Install fonts
run: apk add --no-cache font-dejavu git run: apk add --no-cache font-dejavu
- name: Prepare markdown (strip manual TOC) - name: Prepare markdown (strip manual TOC)
run: | run: |
# Remove the manual TOC table between "## Table des matières" and the next "---"
python3 -c " python3 -c "
import re import re
with open('paper/README.md', 'r', encoding='utf-8') as f: with open('paper/README.md', 'r', encoding='utf-8') as f:
@@ -69,9 +68,25 @@ jobs:
--toc-depth=3 \ --toc-depth=3 \
--syntax-highlighting=tango --syntax-highlighting=tango
- name: Cleanup temp files - name: Upload PDF artifact
run: | uses: actions/upload-artifact@v4
rm -f paper/paper_clean.md paper/metadata.yaml with:
name: xerboxion_paper
path: paper/xerboxion_paper.pdf
commit-pdf:
needs: generate-pdf
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Download PDF artifact
uses: actions/download-artifact@v4
with:
name: xerboxion_paper
path: paper/
- name: Commit PDF - name: Commit PDF
run: | run: |