in2lambda-agent/.github/workflows/gate.yml at main · lambda-feedback/in2lambda-agent · 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
65
66
67
68
69
70
71
72
73
# The merge gate. Every push to main and every pull request runs the tests and
# then replays the committed target, ci-corpus/targets/sheet, against the set
# in2lambda's own writer wrote from it: the sheet's saved filter and reply are
# read back, so the job makes no model call and needs no credentials. The job
# is CI's report on a branch and nothing merges on it: the workbench merges
# with `gh pr merge` as soon as its own check passes, and that check replays
# the private targets, which a runner cannot read, on the machine holding them.
name: gate

on:
  push:
    branches: [main]
  pull_request:

jobs:
  gate:
    name: gate
    # Pinned rather than ubuntu-latest: the runner's TeX Live is what the set
    # checks compile with, and a release of it decides what they refuse.
    runs-on: ubuntu-24.04
    steps:
      - uses: actions/checkout@v4

      # Pandoc reads every source document and runs route B's filter over it,
      # so its version decides what the gate's target converts to. ubuntu-24.04
      # packages pandoc 3.1.3, under which the tests fail. This release is the
      # one the committed reply was written under.
      - name: Install pandoc
        run: |
          curl -fsSL -o "${RUNNER_TEMP}/pandoc.deb" \
            https://github.com/jgm/pandoc/releases/download/3.9.0.2/pandoc-3.9.0.2-1-amd64.deb
          sudo dpkg -i "${RUNNER_TEMP}/pandoc.deb"
          pandoc --version | head -1

      # The Dockerfile's package list, which is the one record of what the PDF
      # generator's template.latex loads.
      - name: Install poppler and TeX Live
        run: |
          sudo apt-get update
          sudo apt-get install --no-install-recommends -y \
            poppler-utils \
            texlive-xetex \
            texlive-latex-recommended \
            texlive-latex-extra \
            texlive-science \
            texlive-lang-chinese \
            texlive-lang-arabic \
            texlive-bibtex-extra \
            texlive-plain-generic \
            texlive-fonts-recommended \
            lmodern \
            fonts-noto-core \
            fonts-noto-cjk

      - uses: actions/setup-node@v4
        with:
          node-version: "20"

      - uses: actions/setup-python@v5
        with:
          python-version: "3.11"

      - name: Install poetry
        run: pipx install poetry

      - name: Install the package
        run: poetry install --with dev

      - name: Tests
        run: poetry run pytest -q

      - name: Gate
        run: poetry run in2lambda-agent gate ci-corpus/targets --filters ci-corpus/filters