Skip to content
CI

Enable rej_uniform native implementation in x86_64 #2672

Sign in to view logs

Enable rej_uniform native implementation in x86_64

Enable rej_uniform native implementation in x86_64 #2672

Triggered via pull request November 15, 2024 12:55
@mkannwischermkannwischer
synchronize #409
fix-rej-uniform
Status Cancelled
Total duration 1m 51s
Billable time 5m
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
6s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
3s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
3s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2  /  tests
0s
cbmc_k2 / tests
cbmc_k3  /  tests
0s
cbmc_k3 / tests
cbmc_k4  /  tests
0s
cbmc_k4 / tests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
3s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Stop CBMC (MLKEM-1024) (c7g.2xlarge)
8s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

49 errors
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (ubuntu-latest (aarch64))
The operation was canceled.
Functional tests (MacOS)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (MacOS)
The operation was canceled.
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
The operation was canceled.
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
The operation was canceled.
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
A task was canceled.
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
The operation was canceled.
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (Graviton3 (c7g.medium)) / Start Graviton3 (c7g.medium) (c7g.medium)
The operation was canceled.
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
A task was canceled.
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Functional tests (ubuntu-latest (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
Error: Not all the required inputs are provided for the 'stop' mode
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
Not all the required inputs are provided for the 'stop' mode
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
TypeError: Cannot read properties of undefined (reading 'mode')
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
Cannot read properties of undefined (reading 'mode')
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Error: Not all the required inputs are provided for the 'stop' mode
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Not all the required inputs are provided for the 'stop' mode
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
TypeError: Cannot read properties of undefined (reading 'mode')
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Cannot read properties of undefined (reading 'mode')
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
Error: Not all the required inputs are provided for the 'stop' mode
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
Not all the required inputs are provided for the 'stop' mode
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
TypeError: Cannot read properties of undefined (reading 'mode')
Functional tests (Graviton3 (c7g.medium)) / Stop Graviton3 (c7g.medium) (c7g.medium)
Cannot read properties of undefined (reading 'mode')
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Error: Not all the required inputs are provided for the 'stop' mode
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Not all the required inputs are provided for the 'stop' mode
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
TypeError: Cannot read properties of undefined (reading 'mode')
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Cannot read properties of undefined (reading 'mode')
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/409/merge' exists
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Error: Not all the required inputs are provided for the 'stop' mode
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Not all the required inputs are provided for the 'stop' mode
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
TypeError: Cannot read properties of undefined (reading 'mode')
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Cannot read properties of undefined (reading 'mode')
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Error: Not all the required inputs are provided for the 'stop' mode
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Not all the required inputs are provided for the 'stop' mode
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
TypeError: Cannot read properties of undefined (reading 'mode')
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Cannot read properties of undefined (reading 'mode')
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
Error: Not all the required inputs are provided for the 'stop' mode
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
Not all the required inputs are provided for the 'stop' mode
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
TypeError: Cannot read properties of undefined (reading 'mode')
Functional tests (Intel Xeon 4th gen (t3)) / Stop Intel Xeon 4th gen (t3) (t3.small)
Cannot read properties of undefined (reading 'mode')