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

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

CI: the referee site by referee-site (LeanTrustBuilders), with the ev…

a1f75fa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build project
succeeded Oct 3, 2026 in 14m 35s