Skip to content
CI

Bundle multiple allocations into workspaces #2896

Sign in to view logs

Bundle multiple allocations into workspaces

Bundle multiple allocations into workspaces #2896

Triggered via pull request January 1, 2026 20:13
@hanno-beckerhanno-becker
synchronize #1379
alloc_free_config
Status Success
Total duration 26m 18s
Artifacts –

all.yml

on: pull_request
Matrix: Base / Examples
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
2m 47s
Base / x86_64 Intel syntax
Nix  /  check_modified_files
34s
Nix / check_modified_files
Extended  /  Functional tests (ppc64le/POWER10, native)
2m 7s
Extended / Functional tests (ppc64le/POWER10, native)
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: Nix / build_nix_cache
Matrix: Nix / develop_environment
CBMC  /  ...  /  Start instance (r8g.xlarge)
1m 2s
CBMC / CBMC (ML-KEM-512) / Start instance (r8g.xlarge)
CBMC  /  ...  /  Start instance (r8g.xlarge)
1m 2s
CBMC / CBMC (ML-KEM-768) / Start instance (r8g.xlarge)
CBMC  /  ...  /  Start instance (r8g.xlarge)
1m 3s
CBMC / CBMC (ML-KEM-1024) / Start instance (r8g.xlarge)
CBMC  /  ...  /  Run tests
9m 52s
CBMC / CBMC (ML-KEM-512) / Run tests
CBMC  /  ...  /  Run tests
16m 3s
CBMC / CBMC (ML-KEM-768) / Run tests
CBMC  /  ...  /  Run tests
14m 30s
CBMC / CBMC (ML-KEM-1024) / Run tests
CBMC  /  ...  /  Stop instance (r8g.xlarge)
5s
CBMC / CBMC (ML-KEM-512) / Stop instance (r8g.xlarge)
CBMC  /  ...  /  Stop instance (r8g.xlarge)
6s
CBMC / CBMC (ML-KEM-768) / Stop instance (r8g.xlarge)
CBMC  /  ...  /  Stop instance (r8g.xlarge)
8s
CBMC / CBMC (ML-KEM-1024) / Stop instance (r8g.xlarge)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Extended / Compiler tests (zig-0.15, macos, -O3)
unable to access 'https://github.com/pq-code-package/mlkem-native/': Could not resolve host: github.com