Back to pull request #9040

egraphs: Canonicalize loose inequalities to strict inequalities (2nd attempt) #24781

Sign in to view logs

Triggered via pull request August 5, 2024 23:16

Kmeakin

synchronize #9040

Kmeakin:km/loose-inequalities-to-strict-inequalities-v2

Status Success

Total duration 8m 49s

Artifacts –

main.yml

on: pull_request

Determine CI jobs to run

Build wasi-preview1-component-adapter

Matrix: build

Matrix: micro_checks

Matrix: Miri

Matrix: test

Matrix: test_capi

Matrix: test_wasi_nn

Monolith Checks

Check Windows ARM64

Test wasmtime-fuzzing

Test DWARF debugging

Test the min-platform example

Build wasmtime-target-wasm32

Meta deterministic check

Build wasi-preview1-component-adapter-provider

Cargo vet failed on a Pull Request

Record the result of testing and building steps