d-flex flex-column width-full">

feat(rust-cli): wire SIGINT trap handler into REPL loops

43c96d4

Select commit

Loading

Failed to load commit list.

Uh oh!

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

.github/workflows/dogfood-gate.yml on: push 1

.github/workflows/secret-scanner.yml on: push 1

ECHIDNA Validation on: push 1

ECHIDNA Proof Verification

Lean 4 ↔ Rust Correspondence

Code Quality on: push 1

lint

docs

NPM/Bun Blocker on: push

check

TypeScript/JavaScript Blocker on: push

check

Guix/Nix Package Policy on: push

check

Rust CLI Tests on: push 1

Test Rust CLI

Verify Lean 4 Proofs

Security Policy on: push

check

Security Policy on: pull_request

check

ECHIDNA Validation on: pull_request 1

ECHIDNA Proof Verification

Lean 4 ↔ Rust Correspondence

Compilation Tests on: pull_request 20

Test (stable on ubuntu-latest)

Test (stable on macos-latest)

Test (stable on windows-latest)

Test (beta on ubuntu-latest)

Test (beta on macos-latest)

Test (beta on windows-latest)

Test (nightly on ubuntu-latest)

Test (nightly on macos-latest)

Test (nightly on windows-latest)

Test MSRV (1.70.0)

Test Features (--no-default-features)

Test Features (--all-features)

Test Features (--features lean-runtime-checks)

Cross-compile (x86_64-unknown-linux-musl)

Cross-compile (aarch64-unknown-linux-gnu)

Cross-compile (x86_64-apple-darwin)

Cross-compile (aarch64-apple-darwin)

Cross-compile (x86_64-pc-windows-gnu)

Lint (clippy + rustfmt)

Build documentation

Build release artifacts (ubuntu-latest, x86_64-unknown-linux-gnu, vsh-linux-x64)

Build release artifacts (macos-latest, x86_64-apple-darwin, vsh-macos-x64)

Build release artifacts (windows-latest, x86_64-pc-windows-msvc, vsh-windows-x64.exe)

CodeQL Advanced on: pull_request 1

Analyze (javascript-typescript)

Code Quality on: pull_request 1

lint

docs

Correspondence Validation on: pull_request 2

validate-correspondence

verify-proofs

property-testing

Guix/Nix Package Policy on: pull_request

check

Lean Verification Build on: pull_request 1

Build and Test Lean Extraction Pipeline

Benchmark Lean Verification Overhead

Hypatia Security Scan on: pull_request 2

Hypatia Neurosymbolic Analysis

ClusterFuzzLite PR Fuzzing on: pull_request

pr_fuzzing (address)

pr_fuzzing (undefined)

RSR Anti-Pattern Check on: pull_request

antipattern-check

TypeScript/JavaScript Blocker on: pull_request

check

Rust CLI Tests on: pull_request 1

Test Rust CLI

Verify Lean 4 Proofs

NPM/Bun Blocker on: pull_request

check

feat(rust-cli): wire SIGINT trap handler into REPL loops

Uh oh!

Select a check to view from the sidebar