Skip to content

feat(ci): cross-reference tag review via post-build lint + workflow_run#39666

Open
kim-em wants to merge 3 commits into
leanprover-community:masterfrom
kim-em:crossref-tooling-ci
Open

feat(ci): cross-reference tag review via post-build lint + workflow_run#39666
kim-em wants to merge 3 commits into
leanprover-community:masterfrom
kim-em:crossref-tooling-ci

Commits

Commits on May 22, 2026