Skip to content
CI

Simplify configurations in multilevel example #4551

Sign in to view logs

Simplify configurations in multilevel example

Simplify configurations in multilevel example #4551

Triggered via pull request February 2, 2025 05:08
@hanno-beckerhanno-becker
synchronize #731
multi_simp
Status Success
Total duration 15m 7s
Billable time 53m
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
29s
Quickcheck windows-latest
20s
Matrix: Check API consistency
Matrix: ASM simplifier
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 14s
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 22s
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 22s
Matrix: build_kat
Matrix: compatibility_tests
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_compatibilitytests
Matrix: ec2_functests
CBMC (ML-KEM-512)  /  Run tests
5m 39s
CBMC (ML-KEM-768)  /  Run tests
7m 50s
CBMC (ML-KEM-1024)  /  Run tests
8m 30s
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-768)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-1024)  /  Stop instance (c7g.2xlarge)
4s