d-flex flex-column width-full">

ci: Bump actions/checkout in cbmc action to v7.0.0

5718ca1

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

CodeQL on: dynamic

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Legacy compilers on: pull_request

Compiler tests (${{ matrix.compiler.family }}-${{ matrix.compiler.version }}, ${{ matrix.target.name }}, ${{ matrix.cflags }})

Compiler tests (${{ matrix.compiler.family }}-${{ matrix.compiler.version }}, macos, ${{ matrix.cflags }})

Compiler tests (Mingw-w64 ${{ matrix.mingw-version }}, x86_64)

Constant-time test ${{ matrix.compiler.family }}-${{ matrix.compiler.version }} ${{ matrix.system }}

HOL-Light on: pull_request

AArch64 HOL-Light bytecode check

x86_64 HOL-Light bytecode check

AArch64 HOL-Light interactive shell test

AArch64 HOL Light proof for ntt_aarch64_asm.S

AArch64 HOL Light proof for intt_aarch64_asm.S

AArch64 HOL Light proof for pointwise_montgomery_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l4_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l5_aarch64_asm.S

AArch64 HOL Light proof for mld_polyvecl_pointwise_acc_montgomery_l7_aarch64_asm.S

AArch64 HOL Light proof for poly_caddq_aarch64_asm.S

AArch64 HOL Light proof for poly_chknorm_aarch64_asm.S

AArch64 HOL Light proof for poly_use_hint_32_aarch64_asm.S

AArch64 HOL Light proof for poly_use_hint_88_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_eta2_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_eta4_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x1_scalar_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x1_v84a_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x2_v84a_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x4_v8a_scalar_hybrid_aarch64_asm.S

AArch64 HOL Light proof for keccak_f1600_x4_v8a_v84a_scalar_hybrid_aarch64_asm.S

AArch64 HOL Light proof for polyz_unpack_17_aarch64_asm.S

AArch64 HOL Light proof for polyz_unpack_19_aarch64_asm.S

AArch64 HOL Light proof for poly_decompose_32_aarch64_asm.S

AArch64 HOL Light proof for poly_decompose_88_aarch64_asm.S

AArch64 HOL Light proof for rej_uniform_aarch64_asm.S

x86_64 HOL-Light interactive shell test

x86_64 HOL Light proof for poly_caddq_avx2_asm.S

x86_64 HOL Light proof for poly_chknorm_avx2_asm.S

x86_64 HOL Light proof for poly_decompose_32_avx2_asm.S

x86_64 HOL Light proof for poly_decompose_88_avx2_asm.S

x86_64 HOL Light proof for polyz_unpack_17_avx2_asm.S

x86_64 HOL Light proof for polyz_unpack_19_avx2_asm.S

x86_64 HOL Light proof for ntt_avx2_asm.S

x86_64 HOL Light proof for intt_avx2_asm.S

x86_64 HOL Light proof for nttunpack_avx2_asm.S

x86_64 HOL Light proof for pointwise_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l4_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l5_avx2_asm.S

x86_64 HOL Light proof for pointwise_acc_l7_avx2_asm.S

x86_64 HOL Light proof for keccak_f1600_x4_avx2_asm.S

CI on: pull_request 70

Base / Linting (ubuntu-latest)

Base / Linting (ubuntu-24.04-arm)

Base / Quickcheck (aarch64)

Base / Quickcheck (x86_64)

Base / Quickcheck (macos (aarch64))

Base / Quickcheck (macos (x86_64))

Base / Quickcheck ACVP (aarch64, v1.1.0.40)

Base / Quickcheck ACVP (aarch64, v1.1.0.41)

Base / Quickcheck ACVP (aarch64, v1.1.0.42)

Base / Quickcheck ACVP (x86_64, v1.1.0.40)

Base / Quickcheck ACVP (x86_64, v1.1.0.41)

Base / Quickcheck ACVP (x86_64, v1.1.0.42)

Base / Quickcheck bench (aarch64)

Base / Quickcheck bench (x86_64)

Base / Quickcheck bench (macos (aarch64))

Base / Quickcheck bench (macos (x86_64))

Base / Quickcheck C90 (aarch64)

Base / Quickcheck C90 (x86_64)

Base / Quickcheck windows-2025

Base / Quickcheck windows-2022

Base / Quickcheck (Mingw-w64 5.4.0)

Base / Quickcheck (Mingw-w64 13.2.0)

Base / Quickcheck (Mingw-w64 14.2.0)

Base / Quickcheck (Mingw-w64 15.2.0)

Base / Quickcheck lib (macos-latest)

Base / Quickcheck lib (macos-15-intel)

Base / Quickcheck lib (ubuntu-latest)

Base / Quickcheck lib (ubuntu-24.04-arm)

Base / Examples (macos-latest)

Base / Examples (macos-15-intel)

Base / Examples (ubuntu-latest)

Base / Examples (ubuntu-24.04-arm)

Base / AArch64 dev backend (Clean, Simplified)

Base / AArch64 dev backend (Clean, Unmodified)

Base / AArch64 dev backend (Optimized, Simplified)

Base / AArch64 dev backend (Optimized, Unmodified)

Base / x86_64 Intel syntax

Base / scan-build (aarch64)

Base / scan-build (x86_64)

Base / symlink-check

Lint Markdown / lint-markdown-link

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 }})

RISC-V / Quickcheck (riscv)

libOQS / Build (Haswell, ubuntu-latest)

libOQS / Build (C, ubuntu-latest)

libOQS / Build (Auto, ubuntu-24.04-arm)

libOQS / Build (C, ubuntu-24.04-arm)

AWS-LC / AWS-LC FIPS test (ubuntu-latest, FIPS=0)

AWS-LC / AWS-LC FIPS test (ubuntu-latest, FIPS=1)

AWS-LC / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)

AWS-LC / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)

AWS-LC / Posix test (Debug mode, ubuntu-latest)

AWS-LC / Posix test (Release mode, ubuntu-latest)

AWS-LC / Posix test (Small compilation, ubuntu-latest)

AWS-LC / Posix test (No-ASM, ubuntu-latest)

AWS-LC / Posix test (Shared, ubuntu-latest)

AWS-LC / Posix test (Pre-Gen ASM, ubuntu-latest)

AWS-LC / Posix test (DIT, ubuntu-latest)

AWS-LC / Posix test (Debug mode, ubuntu-24.04-arm)

AWS-LC / Posix test (Release mode, ubuntu-24.04-arm)

AWS-LC / Posix test (Small compilation, ubuntu-24.04-arm)

AWS-LC / Posix test (No-ASM, ubuntu-24.04-arm)

AWS-LC / Posix test (Shared, ubuntu-24.04-arm)

AWS-LC / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)

AWS-LC / Posix test (DIT, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Debug, ubuntu-latest)

AWS-LC / Prefix test (Prefix+Release, ubuntu-latest)

AWS-LC / Prefix test (Prefix+Debug, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Release, ubuntu-24.04-arm)

AWS-LC / Prefix test (Prefix+Debug, macos-latest)

AWS-LC / Prefix test (Prefix+Release, macos-latest)

AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)

AWS-LC / Prefix test (Prefix+Release, macos-15-intel)

Baremetal / Baremetal tests (AVR ATmega128RFR2 (modified for 63.5K RAM))

Baremetal / AArch64-virt no-MMU (x1_scalar)

Baremetal / AArch64-virt no-MMU (x1_v84a)

Baremetal / AArch64-virt no-MMU (x2_v84a)

Baremetal / AArch64-virt no-MMU (x4_v8a_scalar)

Baremetal / AArch64-virt no-MMU (x4_v8a_v84a_scalar)

Zephyr / Zephyr tests (mps2-an385, Cortex-M3)

Zephyr / Zephyr tests (mps2-an386, Cortex-M4)

Zephyr / Zephyr tests (mps2-an500, Cortex-M7)

Zephyr / Zephyr tests (mps2-an521, Cortex-M33)

Zephyr / Zephyr tests (mps3-an547, Cortex-M55)

Pavona / Start EC2 instance

Pavona / Pavona ML-DSA Build Test

Pavona / Stop EC2 instance

Isabelle / compress

Isabelle / neon_ntt

Isabelle / Isabelle proofs (nix shell)

Extended / Functional tests (macOS (aarch64))

Extended / Functional tests (macOS (x86_64))

Extended / Functional tests (aarch64)

Extended / Functional tests (x86_64, cross)

Extended / Functional tests (x86_64, cross, no AVX2)

Extended / Functional tests (riscv64, cross, VLEN=128)

Extended / Functional tests (riscv64, cross, VLEN=256)

Extended / Functional tests (riscv64, cross, VLEN=512)

Extended / Functional tests (riscv64, cross, VLEN=1024)

Extended / Functional tests (riscv32, cross)

Extended / Functional tests (ppc64le, cross)

Extended / Functional tests (x86_64)

Extended / Functional tests (aarch64, cross)

Extended / Functional tests (aarch64_be, cross)

Extended / AArch64 FIPS202 backends (x1_scalar)

Extended / AArch64 FIPS202 backends (x1_v84a)

Extended / AArch64 FIPS202 backends (x2_v84a)

Extended / AArch64 FIPS202 backends (x4_v8a_scalar)

Extended / AArch64 FIPS202 backends (x4_v8a_v84a_scalar)

Extended / Compiler tests (gcc-4.8, aarch64, -O0)

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

Extended / Compiler tests (gcc-15, aarch64, -O0)

Extended / Compiler tests (gcc-16, aarch64, -O0)

Extended / Compiler tests (clang-6, aarch64, -O0)

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

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

Extended / Compiler tests (clang-22, aarch64, -O0)

Extended / Compiler tests (zig-0.10, aarch64, -O0)

Extended / Compiler tests (zig-0.14, aarch64, -O0)

Extended / Compiler tests (zig-0.15, aarch64, -O0)

Extended / Compiler tests (zig-0.16, aarch64, -O0)

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

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

Extended / Compiler tests (gcc-15, x86_64, -O0)

Extended / Compiler tests (gcc-16, x86_64, -O0)

Extended / Compiler tests (clang-6, x86_64, -O0)

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

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

Extended / Compiler tests (clang-22, x86_64, -O0)

Extended / Compiler tests (zig-0.10, x86_64, -O0)

Extended / Compiler tests (zig-0.14, x86_64, -O0)

Extended / Compiler tests (zig-0.15, x86_64, -O0)

Extended / Compiler tests (zig-0.16, x86_64, -O0)

Extended / Compiler tests (gcc-4.8, macos, -O0)

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

Extended / Compiler tests (gcc-15, macos, -O0)

Extended / Compiler tests (gcc-16, macos, -O0)

Extended / Compiler tests (clang-6, macos, -O0)

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

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

Extended / Compiler tests (clang-22, macos, -O0)

Extended / Compiler tests (zig-0.10, macos, -O0)

Extended / Compiler tests (zig-0.14, macos, -O0)

Extended / Compiler tests (zig-0.15, macos, -O0)

Extended / Compiler tests (zig-0.16, macos, -O0)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, aarch64, -Os)

Extended / Compiler tests (zig-0.14, aarch64, -Os)

Extended / Compiler tests (zig-0.15, aarch64, -Os)

Extended / Compiler tests (zig-0.16, aarch64, -Os)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, x86_64, -Os)

Extended / Compiler tests (zig-0.14, x86_64, -Os)

Extended / Compiler tests (zig-0.15, x86_64, -Os)

Extended / Compiler tests (zig-0.16, x86_64, -Os)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, macos, -Os)

Extended / Compiler tests (zig-0.14, macos, -Os)

Extended / Compiler tests (zig-0.15, macos, -Os)

Extended / Compiler tests (zig-0.16, macos, -Os)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, aarch64, -O3)

Extended / Compiler tests (zig-0.14, aarch64, -O3)

Extended / Compiler tests (zig-0.15, aarch64, -O3)

Extended / Compiler tests (zig-0.16, aarch64, -O3)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, x86_64, -O3)

Extended / Compiler tests (zig-0.14, x86_64, -O3)

Extended / Compiler tests (zig-0.15, x86_64, -O3)

Extended / Compiler tests (zig-0.16, x86_64, -O3)

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

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

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

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

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

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

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

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

Extended / Compiler tests (zig-0.10, macos, -O3)

Extended / Compiler tests (zig-0.14, macos, -O3)

Extended / Compiler tests (zig-0.15, macos, -O3)

Extended / Compiler tests (zig-0.16, macos, -O3)

Extended / Stack analysis (x86_64, -O3)

Extended / Stack analysis (x86_64, -Os)

Extended / Stack analysis (x86_64, -O3 -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (x86_64, -Os -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (aarch64, -O3)

Extended / Stack analysis (aarch64, -Os)

Extended / Stack analysis (aarch64, -O3 -DMLD_CONFIG_REDUCE_RAM)

Extended / Stack analysis (aarch64, -Os -DMLD_CONFIG_REDUCE_RAM)

Extended / Unit tests + valgrind (x86_64, -O3)

Extended / Unit tests + valgrind (x86_64, -Os)

Extended / Unit tests + valgrind (aarch64, -O3)

Extended / Unit tests + valgrind (aarch64, -Os)

Extended / Config: pct (aarch64)

Extended / Config: reduce-ram (aarch64)

Extended / Config: custom-hooks (aarch64)

Extended / Config: native-cap (aarch64)

Extended / Config: asm-fips202 (aarch64)

Extended / Config: nblocks (aarch64)

Extended / Config: reduced-api (aarch64)

Extended / Config: reduced-api-reduce-ram (aarch64)

Extended / Config: pct (x86_64)

Extended / Config: reduce-ram (x86_64)

Extended / Config: custom-hooks (x86_64)

Extended / Config: native-cap (x86_64)

Extended / Config: asm-fips202 (x86_64)

Extended / Config: nblocks (x86_64)

Extended / Config: reduced-api (x86_64)

Extended / Config: reduced-api-reduce-ram (x86_64)

Extended / Test control-flow protections (gcc-14, x86_64)

Extended / Test control-flow protections (gcc-15, x86_64)

Extended / Test control-flow protections (clang-19, x86_64)

Extended / Check API consistency (false, ubuntu-24.04-arm, aarch64)

Extended / Check API consistency (false, ubuntu-latest, x86_64)

Extended / Platform tests (AMD EPYC 4th gen (t3a)) / Start instance (t3a.small)

Extended / Platform tests (AMD EPYC 4th gen (t3a)) / Run tests

Extended / Platform tests (AMD EPYC 4th gen (t3a)) / Stop instance (t3a.small)

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Start instance (t3.small)

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Run tests

Extended / Platform tests (Intel Xeon 4th gen (t3)) / Stop instance (t3.small)

Extended / Platform tests (Graviton2 (c6g.medium)) / Start instance (c6g.medium)

Extended / Platform tests (Graviton2 (c6g.medium)) / Run tests

Extended / Platform tests (Graviton2 (c6g.medium)) / Stop instance (c6g.medium)

Extended / Platform tests (Graviton3 (c7g.medium)) / Start instance (c7g.medium)

Extended / Platform tests (Graviton3 (c7g.medium)) / Run tests

Extended / Platform tests (Graviton3 (c7g.medium)) / Stop instance (c7g.medium)

Extended / Compatibility tests (debian:bullseye)

Extended / Compatibility tests (debian:bookworm)

Extended / Compatibility tests (nixos/nix:latest)

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Run tests

Extended / Compatibility tests (amazonlinux-2-aarch:clang-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Stop instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Start instance (t4g.small)

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Run tests

Extended / Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Run tests

Extended / Compatibility tests (ubuntu-22.04-aarch:base) / Stop instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Start instance (t4g.small)

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Run tests

Extended / Compatibility tests (ubuntu-20.04-aarch:base) / Stop instance (t4g.small)

Extended / Check autogenerated files (macos-latest, cross-autogen, true, --force-cross)

Extended / Check autogenerated files (ubuntu-latest, cross-autogen, true, --force-cross)

Extended / Check autogenerated files (ubuntu-24.04-arm, cross-autogen, true, --force-cross)

Extended / Check test vectors

Extended / Check object code in HOL-Light proofs (macos-latest, true, hol_light-cross-x86_64, --force-cross ...

Extended / Check object code in HOL-Light proofs (ubuntu-latest, hol_light-cross-aarch64, true, --force-cros...

Extended / Check object code in HOL-Light proofs (ubuntu-24.04-arm, hol_light-cross-x86_64, true, --force-cr...

CBMC / CBMC (ML-DSA-44) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44) / Run tests

CBMC / CBMC (ML-DSA-44) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65) / Run tests

CBMC / CBMC (ML-DSA-65) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87) / Run tests

CBMC / CBMC (ML-DSA-87) / Stop instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Start instance (c7g.4xlarge)

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Run tests

CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Stop instance (c7g.4xlarge)

Constant-time / CT test valgrind-varlat_clang6 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang20 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang21 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang22 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc48 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc14 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc15 ubuntu-latest

Constant-time / CT test valgrind-varlat_gcc16 ubuntu-latest

Constant-time / CT test valgrind-varlat_clang6 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang20 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang21 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_clang22 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc48 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc14 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc15 ubuntu-24.04-arm

Constant-time / CT test valgrind-varlat_gcc16 ubuntu-24.04-arm

SLOTHY / SLOTHY / Start instance (c8g.8xlarge)

SLOTHY / SLOTHY / Run tests

SLOTHY / SLOTHY / Stop instance (c8g.8xlarge)

Code scanning results

CodeQL

Select a check to view from the sidebar