d-flex flex-column width-full">

build(deps): bump the actions group across 1 directory with 13 updates

5e2adb8

Select commit

Loading

Failed to load commit list.

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

release on: pull_request 4

linux (x86_64)

linux (aarch64)

windows

macos (x86_64)

macos (aarch64)

sdist

build + publish npm (on tag)

attest crate provenance (on tag)

publish to PyPI (on tag)

codeql on: pull_request

analyze (rust)

analyze (python)

CI on: pull_request 1

test (x86-64 linux)

test (arm64 macos)

test (x86-64 windows)

wasm32 (wasmtime)

miri

clippy + fmt + docs

msrv (1.74)

lean proofs (zero sorry, axiom audit)

comparator (statement match + axiom audit + kernel replay)

cross-language conformance (Python reference)

kani (merge + codec harnesses)

benchmark on: pull_request

criterion (regression tracking)

supply-chain on: pull_request

cargo-deny (advisories + licenses + bans + sources)

reproducible build (byte-identical rebuild)

coverage (llvm-cov -> Codecov)

Code scanning results

CodeQL