rules_rust migration for the rocq-of-rust toolchain (epic) - #34

Merged

avrabe merged 11 commits into

mainfrom

chore/hermetic-rust-toolchain

May 23, 2026

Commits on May 21, 2026

docs: plan rules_rust migration for the rocq-of-rust toolchain

Ralf Anton Beier
and
claude
committed
aa909a4
build: stage 1 — rules_rust + crate_universe scaffold

Ralf Anton Beier
and
claude
committed
d0c1575

Commits on May 22, 2026

build: stage 2 — hermetic nightly + rustc-dev rust_toolchain

Ralf Anton Beier
and
claude
committed
e613c75
build: stage 3 — build rocq-of-rust binaries with rules_rust

Ralf Anton Beier
and
claude
committed
f8a938a
build: stage 4 (WIP) — rewire toolchain onto the rules_rust build

Ralf Anton Beier
and
claude
committed
b2c7e6c
build: stage 4 — fix cross-extension repo visibility

Ralf Anton Beier
and
claude
committed
7152206
build: stage 5 — delete the imperative cargo/rustup build path

Ralf Anton Beier
and
claude
committed
79b8edf
fix: make libLLVM reachable to the linker on Linux

Ralf Anton Beier
and
claude
committed
d2ba504
docs: rename README section to "Examples"

Ralf Anton Beier
and
claude
committed
f4e45cd
ci: align docs.yml README checks with the actual README

Ralf Anton Beier
and
claude
committed
a286b2e

Commits on May 23, 2026

ci: make the markdown-link check advisory

Ralf Anton Beier
and
claude
committed
7330648