Skip to content
CI

CBMC: Prove indcpa enc #2555

Sign in to view logs

CBMC: Prove indcpa enc

CBMC: Prove indcpa enc #2555

Triggered via pull request November 12, 2024 10:43
@mkannwischermkannwischer
synchronize #383
cbmc-incpa-enc
Status Cancelled
Total duration 13m 25s
Billable time 28m
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 26s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 6s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 6s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2  /  tests
9m 59s
cbmc_k2 / tests
cbmc_k3  /  tests
8m 50s
cbmc_k3 / tests
cbmc_k4  /  tests
10m 20s
cbmc_k4 / tests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
7s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
8s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Stop CBMC (MLKEM-1024) (c7g.2xlarge)
4s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
GitHub self-hosted runner registration error
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
A timeout of 5 minutes is exceeded. Your AWS EC2 instance was not able to register itself in GitHub as a new self-hosted runner.
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/383/merge' exists
cbmc_k2 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/383/merge' exists
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/383/merge' exists