Skip to content
CI

Enable rej_uniform native implementation in x86_64 #2674

Sign in to view logs

Enable rej_uniform native implementation in x86_64

Enable rej_uniform native implementation in x86_64 #2674

Triggered via pull request November 16, 2024 05:34
@hanno-beckerhanno-becker
synchronize #409
fix-rej-uniform
Status Failure
Total duration 2m 52s
Billable time 5m
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  start-ec2-runner
cbmc_k2 / start-ec2-runner
cbmc_k3  /  start-ec2-runner
cbmc_k3 / start-ec2-runner
cbmc_k4  /  start-ec2-runner
cbmc_k4 / start-ec2-runner
Matrix: build_kat
Matrix: ec2_functests
Waiting for pending jobs
cbmc_k2  /  tests
cbmc_k2 / tests
cbmc_k3  /  tests
cbmc_k3 / tests
cbmc_k4  /  tests
cbmc_k4 / tests
cbmc_k2  /  stop-ec2-runner
cbmc_k2 / stop-ec2-runner
cbmc_k3  /  stop-ec2-runner
cbmc_k3 / stop-ec2-runner
cbmc_k4  /  stop-ec2-runner
cbmc_k4 / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Quickcheck (x86_64)
Process completed with exit code 2.
Compiler tests (x86_64)
Process completed with exit code 1.
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L176
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L176
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L176
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L177
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L177
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Format error: mlkem/native/x86_64/rej_uniform_avx2.c#L177
mlkem/native/x86_64/rej_uniform_avx2.c require to be formatted
Linting (ubuntu-latest)
Process completed with exit code 1.