d-flex flex-column width-full">

Switch macos-13 to macos-15-intel

6e944aa

Select commit

Loading

Failed to load commit list.

Uh oh!

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

DCO

DCO

DCO-2

DCO

CI on: pull_request

Base / Quickcheck (aarch64, ACVP v1.1.0.40)

Base / Quickcheck (aarch64, ACVP v1.1.0.39)

Base / Quickcheck (x86_64, ACVP v1.1.0.40)

Base / Quickcheck (x86_64, ACVP v1.1.0.39)

Base / Quickcheck (macos (aarch64), ACVP v1.1.0.40)

Base / Quickcheck (macos (aarch64), ACVP v1.1.0.39)

Base / Quickcheck (macos (x86_64), ACVP v1.1.0.40)

Base / Quickcheck (macos (x86_64), ACVP v1.1.0.39)

Base / Quickcheck C90 (aarch64)

Base / Quickcheck C90 (x86_64)

Nix / check_modified_files

Nix / build nix cache (${{ matrix.runner }})

Nix / nix setup test (${{ matrix.target.container != '' && matrix.target.container || matrix.target.runner }}, nix via ${{ matrix.target.install }})

Extended / Compiler tests (gcc-11, aarch64, -Os)

Extended / Compiler tests (gcc-13, aarch64, -Os)

Extended / Compiler tests (gcc-14, aarch64, -Os)

Extended / Compiler tests (clang-18, aarch64, -Os)

Extended / Compiler tests (clang-19, aarch64, -Os)

Extended / Compiler tests (clang-20, aarch64, -Os)

Extended / Compiler tests (clang-21, aarch64, -Os)

Extended / Compiler tests (gcc-4.8, x86_64, -Os)

Extended / Compiler tests (gcc-4.9, x86_64, -Os)

Extended / Compiler tests (gcc-7, x86_64, -Os)

Extended / Compiler tests (gcc-11, x86_64, -Os)

Extended / Compiler tests (gcc-13, x86_64, -Os)

Extended / Compiler tests (gcc-14, x86_64, -Os)

Extended / Compiler tests (clang-18, x86_64, -Os)

Extended / Compiler tests (clang-19, x86_64, -Os)

Extended / Compiler tests (clang-20, x86_64, -Os)

Extended / Compiler tests (clang-21, x86_64, -Os)

Extended / Compiler tests (gcc-11, macos, -Os)

Extended / Compiler tests (gcc-13, macos, -Os)

Extended / Compiler tests (gcc-14, macos, -Os)

Extended / Compiler tests (clang-18, macos, -Os)

Extended / Compiler tests (clang-19, macos, -Os)

Extended / Compiler tests (clang-20, macos, -Os)

Extended / Compiler tests (clang-21, macos, -Os)

Extended / Compiler tests (gcc-11, aarch64, -O3)

Extended / Compiler tests (gcc-13, aarch64, -O3)

Extended / Compiler tests (gcc-14, aarch64, -O3)

Extended / Compiler tests (clang-18, aarch64, -O3)

Extended / Compiler tests (clang-19, aarch64, -O3)

Extended / Compiler tests (clang-20, aarch64, -O3)

Extended / Compiler tests (clang-21, aarch64, -O3)

Extended / Compiler tests (gcc-4.8, x86_64, -O3)

Extended / Compiler tests (gcc-4.9, x86_64, -O3)

Extended / Compiler tests (gcc-7, x86_64, -O3)

Extended / Compiler tests (gcc-11, x86_64, -O3)

Extended / Compiler tests (gcc-13, x86_64, -O3)

Extended / Compiler tests (gcc-14, x86_64, -O3)

Extended / Compiler tests (clang-18, x86_64, -O3)

Extended / Compiler tests (clang-19, x86_64, -O3)

Extended / Compiler tests (clang-20, x86_64, -O3)

Extended / Compiler tests (clang-21, x86_64, -O3)

Extended / Compiler tests (gcc-11, macos, -O3)

Extended / Compiler tests (gcc-13, macos, -O3)

Extended / Compiler tests (gcc-14, macos, -O3)

Extended / Compiler tests (clang-18, macos, -O3)

Extended / Compiler tests (clang-19, macos, -O3)

Extended / Compiler tests (clang-20, macos, -O3)

Extended / Compiler tests (clang-21, macos, -O3)

CBMC / CBMC

DCO / DCO succeeded Oct 3, 2025 in 1s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...