chore: merge main into nightly-testing and bump to 2026-06-22 - #886

Merged

david-christiansen merged 64 commits into

nightly-testingfrom

Jun 23, 2026

Commits on Mar 30, 2026

chore: bump toolchain to v4.29.0 (#814)
Garmelon
authored
7ae82ac

Commits on Mar 31, 2026

chore: bump pygments from 2.19.2 to 2.20.0 in /browser-tests (#815)
dependabot[bot]
authored
ece0f24
fix: pin TypeScript version (#818)
david-christiansen
authored
286953e

Commits on Apr 7, 2026

fix: #doc should create a constant ignoring the current namespace (#824)
robsimmons
authored
19adf7c
fix: don't have `null` appear in search (#822)
robsimmons
authored
e634935

Commits on Apr 8, 2026

Commits on Apr 9, 2026

doc: document table directive (#828)
david-christiansen
authored
5eb5ac5
doc: add `ref` to Manual's manual (#829)
david-christiansen
authored
03cfdb9

Commits on Apr 10, 2026

fix: add type annotation to metadata (#830)
david-christiansen
authored
c42beab

Commits on Apr 11, 2026

chore: add GitHub Action to update SubVerso (#831)
david-christiansen
authored
2ff61a5
chore: update SubVerso (#832)
david-christiansen
authored
96a7696
chore: bump SubVerso (#833)
david-christiansen
authored
0686550

Commits on Apr 14, 2026

chore: bump pytest from 8.4.2 to 9.0.3 in /browser-tests (#836)
dependabot[bot]
authored
75d1864

Commits on Apr 18, 2026

chore: bump toolchain to v4.30.0-rc2 (#841)
Garmelon
authored
0bce276

Commits on Apr 20, 2026

chore: bump actions/github-script from 8 to 9 (#839)
dependabot[bot]
authored
5cd850b

Commits on Apr 22, 2026

fix: linter activation (#843)
david-christiansen
authored
73836fe

Commits on Apr 23, 2026

feat: customizable search priorities (#844)
david-christiansen
authored
06759f8
chore: add !consistent PR-comment auto-fix for lean-toolchain drift (#825)

kim-em
and
claude
authored
539b697

Commits on Apr 24, 2026

chore: bump actions/github-script from 8 to 9 (#848)
dependabot[bot]
authored
639e4a1
chore: format Python (#838)
david-christiansen
authored
dfd33c8

Commits on May 1, 2026

Commits on May 13, 2026

chore: bump urllib3 from 2.6.3 to 2.7.0 in /browser-tests (#855)
dependabot[bot]
authored
66f4575

Commits on May 15, 2026

feat: search page (#847)

david-christiansen
and
robsimmons
authored
5801d70

Commits on May 18, 2026

feat: diagrams (#856)
david-christiansen
authored
c004fc5

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 29, 2026

refactor: handle error and warning logs consistently (#862)
david-christiansen
authored
83b4c6c

Commits on Jun 1, 2026

chore: bump toolchain to v4.31.0-rc1 (#864)
Garmelon
authored
891a59f

Commits on Jun 3, 2026

Commits on Jun 4, 2026

chore: bump SubVerso dependency (#870)
david-christiansen
authored
62e7546

Commits on Jun 5, 2026

feat: for HTML output, add Table of Contents resize handle (#846)

richardlford
and
david-christiansen
authored
8e3468a

Commits on Jun 8, 2026

chore: bump toolchain to v4.31.0-rc2 (#871)
Garmelon
authored
916bb96

Commits on Jun 9, 2026

chore: add test for nested tactics (#869)
david-christiansen
authored
14e7bf2
feat: improve role resolution error diagnostics (#763)

ejgallego
and
david-christiansen
authored
151f8d8
perf: avoid re-exporting imported doc expanders (#854)
ejgallego
authored
4ac6720

Commits on Jun 10, 2026

fix: don't call inPart twice in tutorials (#872)
david-christiansen
authored
4c6b02e

Commits on Jun 12, 2026

Commits on Jun 13, 2026

fix: data handlers for Verso docstring extensions in literate mode (#859)

david-christiansen
and
robsimmons
authored
a9c31d5

Commits on Jun 15, 2026

chore: bump toolchain to v4.31.0 (#875)
Garmelon
authored
b677415

Commits on Jun 16, 2026

Commits on Jun 18, 2026

refactor: configurable source for highlighting (#881)
robsimmons
authored
d6e6aee

Commits on Jun 19, 2026

chore: bump toolchain to v4.32.0-rc1 (#885)
Garmelon
authored
8cb0455

Commits on Jun 20, 2026

Commits on Jun 22, 2026

Commits on Jun 23, 2026

chore: make test output more legible
david-christiansen
committed
720e761
fix: TeX and CI
david-christiansen
committed
4ca2b42