Skip to content

Defer source provenance check until the project is fully loaded#2119

Merged
juergbi merged 3 commits into
masterfrom
jbilleter/junction-provenance
May 22, 2026
Merged

Defer source provenance check until the project is fully loaded#2119
juergbi merged 3 commits into
masterfrom
jbilleter/junction-provenance

Commits

Commits on May 1, 2026