Skip to content

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

RemyDegenne merged 1 commit into
mainfrom
ci/referee-site

Commits

Commits on Oct 3, 2026