r2il: PR 2 first slice — the RefinedTruthSink trait + offline backend

26de3ed

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Cursor

Cursor Bugbot

CI on: pull_request 7

Determine changes

cargo fmt

shellcheck

python package

prek

mkdocs

cargo clippy

cargo publish dry-run

cargo test (linux)

cargo test (linux, release)

cargo test (windows-latest)

cargo test (macos-latest)

cargo test (wasm)

cargo build (msrv)

cargo fuzz build

fuzz parser

test scripts

ecosystem

Fuzz for new ty panics

cargo shear

ty completion evaluation

PGO

formatter instabilities and black similarity

test ruff-lsp

check playground

benchmarks instrumented (ruff)

benchmarks instrumented ty (build)

benchmarks walltime (build)

all required checks passed

benchmarks instrumented ty (${{ matrix.mode }}: ${{ matrix.name }})

benchmarks walltime (${{ matrix.benchmark.name }})

Release on: pull_request 1

release-gate

plan

custom-build-binaries

custom-build-docker

custom-build-wasm

build-global-artifacts

host

custom-publish-pypi

custom-publish-wasm

custom-publish-crates

announce

custom-notify-dependents

custom-publish-docs

custom-publish-playground

custom-publish-versions

custom-publish-mirror

Select a check to view from the sidebar