Skip to content

[Cranelift] (n < m) → ((if c then m else x) < (if c then n else x)) …= false #34156

[Cranelift] (n < m) → ((if c then m else x) < (if c then n else x)) …= false

[Cranelift] (n < m) → ((if c then m else x) < (if c then n else x)) …= false #34156

Triggered via pull request November 7, 2025 06:52
Status Success
Total duration 23m 17s
Artifacts

main.yml

on: pull_request
Determine CI jobs to run
16s
Determine CI jobs to run
Matrix: micro_checks
Build wasi-preview1-component-adapter
0s
Build wasi-preview1-component-adapter
Cargo vet
0s
Cargo vet
Matrix: build
Matrix: Miri
Matrix: platform_checks
Matrix: test
Matrix: test_capi
Matrix: test_wasi_nn
Matrix: Test wasi-tls using native-tls provider
Cargo deny
0s
Cargo deny
Doc build
0s
Doc build
One-off special tests
0s
One-off special tests
Nightly tests
0s
Nightly tests
Test wasmtime-fuzzing
0s
Test wasmtime-fuzzing
Test DWARF debugging
0s
Test DWARF debugging
Test the min-platform example
0s
Test the min-platform example
Run benchmarks
0s
Run benchmarks
Meta deterministic check
0s
Meta deterministic check
verify-publish
0s
verify-publish
Build wasi-preview1-component-adapter-provider
Build wasi-preview1-component-adapter-provider
Cargo vet failed on a Pull Request
Cargo vet failed on a Pull Request
Record the result of testing and building steps
3s
Record the result of testing and building steps
push-tag
0s
push-tag
File an issue if this build failed and was cron-triggered
0s
File an issue if this build failed and was cron-triggered
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
Test MPK (wasmtime)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).
Test MPK (2/6)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).
Test MPK (wasmtime-wasi)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).
Test MPK (1/6)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).
Test MPK (3/6)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).
Test MPK (wasmtime-cli)
This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).