d-flex flex-column width-full">

Bump actions/checkout from 5.0.0 to 6.0.0

4704adc

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 Dec 1, 2025 in 0s

DCO

All commits are signed off!

View more details on DCO

Loading

Re-running checks...