Skip to content

fix(ci): re-pin cranelift-isle to 0.132.x — restore wasm32-wasip2 build - #304

Open
avrabe wants to merge 1 commit into
mainfrom
fix/cranelift-isle-msrv-repin
Open

fix(ci): re-pin cranelift-isle to 0.132.x — restore wasm32-wasip2 build#304
avrabe wants to merge 1 commit into
mainfrom
fix/cranelift-isle-msrv-repin

Conversation

@avrabe

@avrabe avrabe commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

Problem

Main's WASM Build (wasm32-wasip2 with Z3) has been red for days: cranelift-isle@0.134.2 requires rustc 1.94.0 but CI stable is 1.93.1.

Cause

A dependency bump re-floated the workspace cranelift-isle constraint 0.1320.134, directly contradicting the pin-rationale comment above it (0.133+ raised MSRV to rustc 1.94.0, not yet stable). Confirmed not an ordeal regression — ordeal 0.17.0 builds cleanly for wasm32-wasip2 standalone.

Fix

Re-pin to ^0.132 (resolves 0.132.3, the known-good line v1.1.13–v1.1.16 shipped on). Verified locally: cranelift-isle resolves to 0.132.3; loom-shared + loom-isle compile.

Unblocks the v1.3.0 release. Durable cure for this recurring class = commit the lockfile (#142).

Refs #142

A dependency bump re-floated the workspace `cranelift-isle` constraint from
0.132 to 0.134, contradicting the pin rationale in the comment right above it:
0.133+ raised its MSRV to rustc 1.94.0, which is not yet stable (CI stable is
1.93.1). The result was `cranelift-isle@0.134.2 requires rustc 1.94.0` failing
the wasm32-wasip2 build ("WASM Build (wasm32-wasip2 with Z3)") on every commit
since the bump — main has been red on it for days.

Re-pin to `^0.132` (resolves 0.132.3, the known-good line v1.1.13–v1.1.16
shipped on), restoring green. Verified: cranelift-isle resolves to 0.132.3 and
loom-shared + loom-isle compile.

This is the Nth float-induced main red; the durable cure remains committing the
lockfile (#142). Comment above the constraint updated to warn against re-widening.

Refs #142
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant