Skip to content
CI

Merge pull request #368 from pq-code-package/speedup_polyvec_add_proof #2571

Sign in to view logs

Merge pull request #368 from pq-code-package/speedup_polyvec_add_proof

Merge pull request #368 from pq-code-package/speedup_polyvec_add_proof #2571

Triggered via push November 12, 2024 17:50
@hanno-beckerhanno-becker
pushed f0159a8
main
Status Failure
Total duration 20m 6s
Billable time 35m
Artifacts –

ci.yml

on: push
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 12s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 32s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
6m 12s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2  /  tests
10m 40s
cbmc_k2 / tests
cbmc_k3  /  tests
8m 46s
cbmc_k3 / tests
cbmc_k4  /  tests
0s
cbmc_k4 / tests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
4s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
7s
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

4 errors
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
GitHub self-hosted runner registration error
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
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.
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
GitHub self-hosted runner registration error
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
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.