Skip to content

AArch64: Hoist zeta values for [inv]NTT in C file and auto-generate #2872

AArch64: Hoist zeta values for [inv]NTT in C file and auto-generate

AArch64: Hoist zeta values for [inv]NTT in C file and auto-generate #2872

Triggered via pull request November 26, 2024 08:51
Status Cancelled
Total duration 41s
Billable time 2m
Artifacts

ci.yml

on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
14s
Quickcheck windows-latest
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: Non-standard configurations
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 windows-latest
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists
Quickcheck windows-latest
The operation was canceled.
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists
Quickcheck (aarch64)
The operation was canceled.
Quickcheck (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists
Quickcheck (x86_64)
The operation was canceled.
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/454/merge' exists