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
build: stage 1 — rules_rust + crate_universe scaffold

Ralf Anton Beier
and
claude
committed

Commits on May 22, 2026

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

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

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

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

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

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

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

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

Ralf Anton Beier
and
claude
committed

Commits on May 23, 2026

ci: make the markdown-link check advisory

Ralf Anton Beier
and
claude
committed