d-flex flex-column width-full">

feat(rust-cli): implement POSIX §2.6.1 tilde expansion globally

65886a3

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

Code Quality on: push 1

lint

docs

NPM/Bun Blocker on: push

check

TypeScript/JavaScript Blocker on: push

check

Rust CLI Tests on: push 1

Test Rust CLI

Verify Lean 4 Proofs

Security Policy on: push

check

Guix/Nix Package Policy on: push

check

ECHIDNA Validation on: push 1

ECHIDNA Proof Verification

Lean 4 ↔ Rust Correspondence

TypeScript/JavaScript Blocker on: pull_request

check

Rust CLI Tests on: pull_request 1

Test Rust CLI

Verify Lean 4 Proofs

RSR Anti-Pattern Check on: pull_request

antipattern-check

Guix/Nix Package Policy on: pull_request

check

ClusterFuzzLite PR Fuzzing on: pull_request

pr_fuzzing (address)

pr_fuzzing (undefined)

ECHIDNA Validation on: pull_request 1

ECHIDNA Proof Verification

Lean 4 ↔ Rust Correspondence

Hypatia Security Scan on: pull_request 2

Hypatia Neurosymbolic Analysis

Security Policy on: pull_request

check

Code Quality on: pull_request 1

lint

docs

Lean Verification Build on: pull_request 1

Build and Test Lean Extraction Pipeline

Benchmark Lean Verification Overhead

Compilation Tests on: pull_request 18

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)

NPM/Bun Blocker on: pull_request

check

Correspondence Validation on: pull_request 2

validate-correspondence

verify-proofs

property-testing

feat(rust-cli): implement POSIX §2.6.1 tilde expansion globally

Uh oh!

Select a check to view from the sidebar