Skip to content

ci: make discovery index CI-authored (fix gzip non-reproducibility) - #16

Merged
soderlind merged 1 commit into
mainfrom
fix-discovery-ci
Aug 7, 2026
Merged

ci: make discovery index CI-authored (fix gzip non-reproducibility)#16
soderlind merged 1 commit into
mainfrom
fix-discovery-ci

ci: discovery index builds + commits (CI source of truth), fixes gzip…

ca4ed69
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 7, 2026 in 6s