Merge main into claude/optimistic-mayer-jdgs35-aarch64

ff36728

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Benchmarks on: pull_request 16

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 20

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 (${{ matrix.shard }} of ${{ needs.lean-plan.outputs.count }})

coverage

Lean proofs

all-green

Select a check to view from the sidebar