Skip to content
CI

Eliminate caddq intrinsics #2612

Sign in to view logs

Eliminate caddq intrinsics

Eliminate caddq intrinsics #2612

Triggered via pull request January 27, 2026 10:45
@willieyzwillieyz
synchronize #905
eliminate-caddq-intrinsics
Status Success
Total duration 36m 9s
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 13s
Base / x86_64 Intel syntax
Base  /  symlink-check
4s
Base / symlink-check
Nix  /  check_modified_files
38s
Nix / check_modified_files
Lint Markdown  /  lint-markdown-link
16s
Lint Markdown / lint-markdown-link
Matrix: Baremetal / baremetal_tests
Matrix: libOQS / oqs_basic_build
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  ...  /  Start instance (c7g.4xlarge)
1m 6s
CBMC / CBMC (ML-DSA-44) / Start instance (c7g.4xlarge)
CBMC  /  ...  /  Start instance (c7g.4xlarge)
1m 6s
CBMC / CBMC (ML-DSA-65) / Start instance (c7g.4xlarge)
CBMC  /  ...  /  Start instance (c7g.4xlarge)
1m 2s
CBMC / CBMC (ML-DSA-87) / Start instance (c7g.4xlarge)
SLOTHY  /  ...  /  Start instance (c8g.8xlarge)
1m 2s
SLOTHY / SLOTHY / Start instance (c8g.8xlarge)
Matrix: Extended / backend_tests
Matrix: Extended / build_kat
Matrix: Extended / Check API consistency
Matrix: Extended / check-cf-protections
Matrix: Extended / Check autogenerated files
Matrix: Extended / Check object code in HOL-Light proofs
Matrix: Extended / compatibility_tests
Matrix: Extended / compiler_tests
Matrix: Extended / Non-standard configurations
Matrix: Extended / ec2_compatibilitytests
Matrix: Extended / ec2_functests
Matrix: Extended / stack_analysis
Matrix: Constant-time / check-ct-varlat
CBMC  /  ...  /  Run tests
8m 22s
CBMC / CBMC (ML-DSA-44) / Run tests
CBMC  /  ...  /  Run tests
11m 51s
CBMC / CBMC (ML-DSA-65) / Run tests
CBMC  /  ...  /  Run tests
8m 18s
CBMC / CBMC (ML-DSA-87) / Run tests
SLOTHY  /  ...  /  Run tests
27m 31s
SLOTHY / SLOTHY / Run tests
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
5s
CBMC / CBMC (ML-DSA-44) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
7s
CBMC / CBMC (ML-DSA-65) / Stop instance (c7g.4xlarge)
CBMC  /  ...  /  Stop instance (c7g.4xlarge)
9s
CBMC / CBMC (ML-DSA-87) / Stop instance (c7g.4xlarge)
SLOTHY  /  ...  /  Stop instance (c8g.8xlarge)
8s
SLOTHY / SLOTHY / Stop instance (c8g.8xlarge)
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
Failed to start EC2 instance in any availability zone. Errors: Failed to start EC2 instance with configuration 1 in region us-east-1: Request limit exceeded. Account 904233116199 has been throttled on ec2:RunInstances because it exceeded its request rate limit.
Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
Error: Failed to start EC2 instance in any availability zone. Errors: Failed to start EC2 instance with configuration 1 in region us-east-1: Request limit exceeded. Account 904233116199 has been throttled on ec2:RunInstances because it exceeded its request rate limit.
Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
All availability zone configurations failed
Extended / Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
Failed to start EC2 instance with configuration 1 in region us-east-1: Request limit exceeded. Account 904233116199 has been throttled on ec2:RunInstances because it exceeded its request rate limit.