Skip to content

docs: nest doc-gen4 in a docbuild/ sub-project (mathlib pattern)#2

Merged
gotrevor merged 2 commits into
masterfrom
docbuild-rewire
Jun 21, 2026
Merged

docs: nest doc-gen4 in a docbuild/ sub-project (mathlib pattern)#2
gotrevor merged 2 commits into
masterfrom
docbuild-rewire

docs: build doc-gen4 in a nested docbuild/ project (mathlib pattern)

6400bff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
actionlint
succeeded Jun 21, 2026 in 7s