Skip to content

CI: restrict EC2 benchmarking to one instance #2796

CI: restrict EC2 benchmarking to one instance

CI: restrict EC2 benchmarking to one instance #2796

Triggered via pull request November 21, 2024 11:30
Status Cancelled
Total duration 8m 9s
Billable time 26m
Artifacts

ci.yml

on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
40s
Quickcheck windows-latest
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 6s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 23s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 2s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: Non-standard configurations
Matrix: ec2_functests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
5s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
6s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Stop CBMC (MLKEM-1024) (c7g.2xlarge)
5s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Functional tests (ubuntu-latest (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
Functional tests (AMD EPYC 4th gen (t3a)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
cbmc_k2 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
cbmc_k3 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
Functional tests (Intel Xeon 4th gen (t3)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists
Functional tests (Graviton2 (c6g.medium)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/442/merge' exists