Skip to content
Merged
Changes from all commits
Commits
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
15 changes: 15 additions & 0 deletions MODULE.bazel
Original file line number Diff line number Diff line change
Expand Up @@ -86,4 +86,19 @@ register_toolchains("@rocq_toolchains//:all")
# Bundles the `witness` toolchain (toolchains/witness_toolchain.bzl) and
# the `wasm_module_coverage` rule, which is how we produce MC/DC coverage
# evidence on the feature-model composition core (REQ-086).
#
# Not in the Bazel Central Registry — pinned via git_override to a
# specific commit on pulseengine/rules_wasm_component, mirroring the
# rules_rocq_rust pattern above.
bazel_dep(name = "rules_wasm_component", version = "1.0.0")

git_override(
module_name = "rules_wasm_component",
remote = "https://github.com/pulseengine/rules_wasm_component.git",
# d2347fb: chore(deps): bump PulseEngine toolchains (#471) — current
# main HEAD on rules_wasm_component. The earlier fbe2057 pin no
# longer resolves under Bazel's shallow git fetch on self-hosted
# runners (it's still in upstream history; the issue is shallow
# depth), so track HEAD instead.
commit = "d2347fbf79ee5d4e20de0df7e8c1bb3adadf5cfe",
)
Loading