Skip to content

ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain #139

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
avrabe wants to merge 1 commit into
base: main
Choose a base branch
from
Open

ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain #139

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 8 additions & 2 deletions MODULE.bazel
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,17 @@ module(
# Requires nix to be installed: sh <(curl -L https://nixos.org/nix/install)
bazel_dep(name = "rules_rocq_rust", version = "0.1.0")

# Override to fetch from GitHub (not yet in BCR)
# Override to fetch from GitHub (not yet in BCR).
# Pinned at/after rules_rocq_rust PR #25, which makes the rocq-of-rust
# toolchain download a hermetic Rust nightly sysroot and prepend
# <sysroot>/lib to LIBRARY_PATH so the rustc_private link step finds
# libLLVM-*-rust-*. The previous pin (307b65f, Feb 2) predated that fix,
# so the "Rocq Formal Proofs" CI job failed with:
# rust-lld: error: unable to find library -lLLVM-19-rust-1.85.0-nightly
git_override(
module_name = "rules_rocq_rust",
remote = "https://github.com/pulseengine/rules_rocq_rust.git",
commit = "307b65f",
commit = "424e6a6a5f87746ae178114661d6924bdaf805a3",
)

# Rocq toolchain extension (creates internal nixpkgs for bzlmod compatibility)
Expand Down
Loading