TCB: 64-bit little-endian PowerPC (ISA model, printer, ELFv2 target)

ef5412b

Select commit

Loading

Failed to load commit list.

Uh oh!

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

power-z-gha-runner

rust (ubuntu-24.04-ppc64le, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:ppc64le, --env RUSTUP...

CI on: pull_request 42

Plan the Lean build

Lean import discipline

Test vector provenance

rust (ubuntu-latest, stable)

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

rust (ubuntu-24.04-arm, stable)

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

rust (ubuntu-24.04-ppc64le, ghcr.io/pyca/cryptography-runner-ubuntu-rolling:ppc64le, --env RUSTUP...

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 (native, x86_64)

Rust (sde -skx, x86_64)

Rust (sde -hsw, x86_64)

Rust (sde -p4p, x86_64)

Rust (native, x86)

Rust (native, x86, VG_CPU_FEATURES=none)

Rust (sde -arl)

Rust (sde -arl, VG_CPU_FEATURES=avx,avx2,sha512)

Rust (sde -skx, VG_CPU_FEATURES=bmi2,adx)

Rust (sde -icx)

Rust (sde -icx, VG_CPU_FEATURES=avx,avx2,bmi2,adx,avx512ifma,avx512vl)

Rust (sde -dmr)

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

Rust (native, VG_CPU_FEATURES=aes,ssse3)

Rust (native, VG_CPU_FEATURES=pclmulqdq,ssse3)

Rust (native, x86, VG_CPU_FEATURES=aes)

Rust (native, x86, VG_CPU_FEATURES=pclmulqdq,ssse3)

Lean proofs (1 of 16)

Lean proofs (2 of 16)

Lean proofs (3 of 16)

Lean proofs (4 of 16)

Lean proofs (5 of 16)

Lean proofs (6 of 16)

Lean proofs (7 of 16)

Lean proofs (8 of 16)

Lean proofs (9 of 16)

Lean proofs (10 of 16)

Lean proofs (11 of 16)

Lean proofs (12 of 16)

Lean proofs (13 of 16)

Lean proofs (14 of 16)

Lean proofs (15 of 16)

Lean proofs (16 of 16)

Lean proofs

Select a check to view from the sidebar