Skip to content
CBMC

CI: Split ci.yml in three workflows #7

Sign in to view logs

CI: Split ci.yml in three workflows

CI: Split ci.yml in three workflows #7

Re-run triggered February 26, 2025 07:35
@hanno-beckerhanno-becker
#807
split_ci
Status Success
Total duration 8m 33s
Artifacts –

cbmc.yml

on: pull_request
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 21s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 30s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 4s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-512)  /  Run tests
6m 44s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
6m 27s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
7m 4s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
6s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

3 errors
CBMC (ML-KEM-1024) / Run tests
Process completed with exit code 2.
CBMC (ML-KEM-768) / Run tests
Process completed with exit code 2.
CBMC (ML-KEM-512) / Run tests
Process completed with exit code 2.