Skip to content
CI

verify: Switch to constant-time memcmp #2287

Sign in to view logs

verify: Switch to constant-time memcmp

verify: Switch to constant-time memcmp #2287

Triggered via pull request January 3, 2026 05:41
@hanno-beckerhanno-becker
opened #838
verify_ct_memcmp2
Status Failure
Total duration 7m 57s
Artifacts –

all.yml

on: pull_request
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base  /  x86_64 Intel syntax
3m 4s
Base / x86_64 Intel syntax
Base  /  symlink-check
6s
Base / symlink-check
Nix  /  check_modified_files
18s
Nix / check_modified_files
Lint Markdown  /  lint-markdown-link
21s
Lint Markdown / lint-markdown-link
Matrix: Baremetal / baremetal_tests
Waiting for pending jobs
Matrix: libOQS / oqs_basic_build
Waiting for pending jobs
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  ...  /  start-ec2-runner
CBMC / CBMC (ML-DSA-44) / start-ec2-runner
CBMC  /  ...  /  start-ec2-runner
CBMC / CBMC (ML-DSA-65) / start-ec2-runner
CBMC  /  ...  /  start-ec2-runner
CBMC / CBMC (ML-DSA-87) / start-ec2-runner
SLOTHY  /  ...  /  start-ec2-runner
SLOTHY / SLOTHY / start-ec2-runner
Matrix: Extended / backend_tests
Waiting for pending jobs
Matrix: Extended / build_kat
Waiting for pending jobs
Matrix: Extended / Check API consistency
Waiting for pending jobs
Matrix: Extended / check-cf-protections
Waiting for pending jobs
Matrix: Extended / Check autogenerated files
Waiting for pending jobs
Matrix: Extended / compatibility_tests
Waiting for pending jobs
Matrix: Extended / compiler_tests
Waiting for pending jobs
Matrix: Extended / Non-standard configurations
Waiting for pending jobs
Matrix: Extended / ec2_compatibilitytests
Waiting for pending jobs
Matrix: Extended / ec2_functests
Waiting for pending jobs
Matrix: Extended / stack_analysis
Waiting for pending jobs
Matrix: Constant-time / check-ct-varlat
Waiting for pending jobs
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-DSA-44) / Run tests
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-DSA-65) / Run tests
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-DSA-87) / Run tests
SLOTHY  /  ...  /  Run tests
SLOTHY / SLOTHY / Run tests
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-DSA-44) / stop-ec2-runner
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-DSA-65) / stop-ec2-runner
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-DSA-87) / stop-ec2-runner
SLOTHY  /  ...  /  stop-ec2-runner
SLOTHY / SLOTHY / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

20 errors
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1334
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted
Format error: examples/bring_your_own_fips202/mldsa_native/src/sign.c#L1332
examples/bring_your_own_fips202/mldsa_native/src/sign.c require to be formatted