Skip to content
CI

Document bounds and remove redundant reductions #1592

Sign in to view logs

Document bounds and remove redundant reductions

Document bounds and remove redundant reductions #1592

Triggered via pull request October 11, 2024 14:18
@hanno-beckerhanno-becker
synchronize #208
remove_redundant_reduce
Status Cancelled
Total duration 3m 52s
Billable time 7m
Artifacts –

ci.yml

on: pull_request
Matrix: build_kat
Matrix: ec2_all
Matrix: Linting
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Format error: mlkem/reduce.c#L30
mlkem/reduce.c require to be formatted
Format error: mlkem/reduce.c#L53
mlkem/reduce.c require to be formatted
Format error: mlkem/reduce.c#L55
mlkem/reduce.c require to be formatted
Format error: mlkem/reduce.c#L55
mlkem/reduce.c require to be formatted
Linting (ubuntu-latest)
Process completed with exit code 1.
Graviton3, CBMC (c7g.xlarge) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/208/merge' exists
AMD EPYC 4th gen (t3a) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/208/merge' exists
Intel Xeon 4th gen (t3) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/208/merge' exists
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/208/merge' exists
Functional tests (ubuntu-latest (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/208/merge' exists