ruff_charon: Rust intake arm reading Charon LLBC (D-CODEGRAPH-0 slice A)

ec0ac5d

Select commit

Loading

Failed to load commit list.

Uh oh!

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

coderabbitai

CodeRabbit

Release on: pull_request 1

release-gate

plan

custom-build-binaries

custom-build-docker

custom-build-wasm

sign-release-binaries

generate-checksum-manifest

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

CI on: pull_request 30

Determine changes

security-review

cargo fmt

shellcheck

cargo clippy

cargo hawk

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 (ruff_r2il)

cargo (ruff_metta_spo)

cargo fuzz build

fuzz parser

test scripts

ecosystem

Fuzz for new ty panics/timeouts

cargo deny

cargo shear

ty completion evaluation

python package

PGO

prek

mkdocs

formatter instabilities and black similarity

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 }})

Select a check to view from the sidebar