Merge remote-tracking branch 'origin/main' into claude/optimistic-may…

0d3bda3

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Benchmarks on: pull_request 6

Choose architectures

Compare with base (x86_64)

Compare with base (x86_64, VG_CPU_FEATURES=avx,avx2,bmi1,bmi2,adx)

Compare with base (x86_64, VG_CPU_FEATURES=avx,avx2,bmi1,bmi2)

Compare with base (x86_64, VG_CPU_FEATURES=none)

Compare with base (aarch64)

Compare with base (aarch64, VG_CPU_FEATURES=sha3)

Compare with base (aarch64, VG_CPU_FEATURES=none)

Compare with base (x86)

Compare with base (arm)

CI on: pull_request 26

Plan the Lean build

Lean import discipline

Test vector provenance

rust (ubuntu-latest, stable)

rust (ubuntu-latest, 1.88)

rust (ubuntu-latest, rust:slim, --platform linux/386, true, stable)

rust (ubuntu-latest, rust:slim, --platform linux/386, true, 1.88)

rust (ubuntu-24.04-arm, stable)

rust (ubuntu-24.04-arm, 1.88)

rust (ubuntu-24.04-arm, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:armv7l, --env RUSTUP_HOME...

rust (ubuntu-24.04-arm, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:armv7l, --env RUSTUP_HOME...

rust (macos-latest, stable)

rust (macos-latest, 1.88)

rust (windows-latest, stable)

rust (windows-latest, 1.88)

rust (ubuntu-latest, beta)

rust (ubuntu-latest, nightly)

Rust (Thumb, stable)

Rust (Thumb, 1.88)

Rust (native)

Rust (sde -skx)

Rust (sde -hsw)

Rust (sde -p4p)

Rust (sde -arl)

Rust (sde -icx)

Rust (native, ubuntu-24.04-arm)

Lean proofs (1 of 6)

Lean proofs (2 of 6)

Lean proofs (3 of 6)

Lean proofs (4 of 6)

Lean proofs (5 of 6)

Lean proofs (6 of 6)

coverage

Lean proofs

all-green

Select a check to view from the sidebar