Repository navigation

CI: build the referee site with referee-site, with the evidence store LML-evidence - #267

Merged

RemyDegenne merged 1 commit into

mainfrom

ci/referee-site

Oct 3, 2026

Merged

CI: build the referee site with referee-site, with the evidence store LML-evidence#267
RemyDegenne merged 1 commit into
mainfrom
ci/referee-site

Commits on Oct 3, 2026
- CI: the referee site by referee-site (LeanTrustBuilders), with the evidence store LML-evidence
  
  RemyDegenne
  and
  claude
  committed
  a1f75fa