lean_closure.py: score the working tree's repo, merges and faster proofs

0267be0

Select commit

Loading

Failed to load commit list.

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

CI on: pull_request 21

Lean: plan and build

Static checks

rust (ubuntu-latest, stable)

rust (ubuntu-24.04-arm, stable)

rust (macos-latest, stable)

rust (windows-latest, stable)

rust (ubuntu-latest, 1.88)

rust (ubuntu-latest, beta)

rust (ubuntu-latest, nightly)

Rust (Thumb, stable)

Rust: times of the CPU feature runs

Lean: shard

Rust (native, x86_64)

Rust (native, x86)

Rust (sde -skx, x86_64)

Rust (sde -hsw, x86_64)

Rust (sde -p4p, x86_64)

Rust (sde -arl)

Rust (sde -icx, 1/3)

Rust (sde -icx, 2/3)

Rust (sde -icx, 3/3)

Rust (sde -dmr)

Rust (native, ubuntu-24.04-arm, aarch64)

Rust: save the times of the CPU feature runs

Rust coverage

all-green