From f6c9ace0f51417c4b31cc5f64061128a307daef0 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 21 Jan 2025 17:02:48 -0800 Subject: [PATCH] act --- .github/workflows/build.yml | 27 ++++++++++++++++++++++++++- tools/build/main.py | 1 + 2 files changed, 27 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b8b15c9..51a3567 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -33,7 +33,32 @@ jobs: - name: Build handouts run: TYPST_PATH="$(pwd)/typst" python tools/build/main.py - - uses: actions/upload-artifact@v3 + - name: Advanced logs + uses: actions/upload-artifact@v3 + if: always() + with: + name: "logs: advanced" + path: "Advanced/*" + retention-days: 1 + + - name: Intermediate logs + uses: actions/upload-artifact@v3 + if: always() + with: + name: "logs: intermediate" + path: "Intermediate/*" + retention-days: 1 + + - name: Warm-Up logs + uses: actions/upload-artifact@v3 + if: always() + with: + name: "logs: warm-ups" + path: "Warm-Ups/*" + retention-days: 1 + + - name: Upload output + uses: actions/upload-artifact@v3 with: name: output path: "output/*" diff --git a/tools/build/main.py b/tools/build/main.py index bcad7e3..a19e6ad 100644 --- a/tools/build/main.py +++ b/tools/build/main.py @@ -291,6 +291,7 @@ def build_dir(base: str, out_sub: str, index: list[IndexEntry]): index: list[IndexEntry] = [] +index.extend(build_dir("Warm-Ups", "Warm-Ups", index)) index.extend(build_dir("Advanced", "Advanced", index)) index.extend(build_dir("Intermediate", "Intermediate", index))