FastWrite/.github/workflows/ci.yml at main · FastR-D/FastWrite · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
name: CI

on:
  push:
    branches:
      - "**"
  pull_request:
  workflow_dispatch:

permissions:
  contents: read

concurrency:
  group: ci-${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  validate:
    name: Typecheck, test, build, and E2E
    # Keep the TeX distribution stable across runner-image rollouts.
    runs-on: ubuntu-24.04
    timeout-minutes: 30
    steps:
      - name: Check out repository
        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

      - name: Set up Bun
        uses: oven-sh/setup-bun@0c5077e51419868618aeaa5fe8019c62421857d6 # v2.2.0
        with:
          bun-version: 1.4.3

      - name: Install dependencies
        run: bun install --frozen-lockfile

      - name: Install browser and sandboxed LaTeX dependencies
        run: |
          sudo apt-get update
          sudo apt-get install -y --no-install-recommends bubblewrap latexmk texlive-latex-base texlive-latex-recommended texlive-fonts-recommended texlive-xetex texlive-luatex fonts-dejavu-core
          for engine in pdflatex xelatex lualatex; do command -v "$engine"; done
          kpsewhich article.cls
          kpsewhich fontspec.sty
          kpsewhich luaotfload-main.lua
          bunx playwright install --with-deps chromium

      - name: Verify real sandboxed compilation
        run: |
          # This disposable GitHub-hosted runner must allow bwrap to create its
          # network namespace. The compiler still runs with --unshare-all.
          if [ -f /proc/sys/kernel/apparmor_restrict_unprivileged_userns ]; then
            sudo sysctl -w kernel.apparmor_restrict_unprivileged_userns=0
          fi
          bun scripts/compiler-sandbox-smoke.ts

      - name: Run CI checks
        run: bun run ci:check

      - name: Upload E2E diagnostics on failure
        if: failure()
        uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
        with:
          name: e2e-diagnostics-${{ github.run_id }}
          path: output/playwright/
          if-no-files-found: ignore
          retention-days: 7