make init: install the toolchain, syft and Isabelle2025-2 #102

New Issue

2026-11-06T19:06:08Z

rajames commented

2026-11-06 19:06:08 +00:00

Closed 2026-11-06 · d8e3fa81, 4cef0431; FABRIC-3.md §XLV.3

Including the docs and proofs toolchains; downloads checked by SHA-256; INIT_DOCS=0 for image builds.

_{Reconstructed 2026-11-06 from the project record; Gitea dates every issue by when it is created.}

**Closed 2026-11-06** · `d8e3fa81`, `4cef0431`; `FABRIC-3.md` §XLV.3 Including the docs and proofs toolchains; downloads checked by SHA-256; `INIT_DOCS=0` for image builds. <sub>Reconstructed 2026-11-06 from the project record; Gitea dates every issue by when it is created.</sub>

rajames added this to the CI and the gate milestone 2026-11-06 19:06:08 +00:00

rajames added the

kind

ci

label 2026-11-06 19:06:08 +00:00

rajames closed this issue

2026-11-06 19:06:08 +00:00

Sign in to join this conversation.