CI

EC2: restrict to starting only one instance at a time #2803

Sign in to view logs

Triggered via pull request November 21, 2024 12:36

opened #444

ec2-bench-2

Status Cancelled

Total duration 50s

Billable time 2m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Quickcheck windows-latest

Matrix: compiler_tests

Matrix: Linting

cbmc_k2 / start-ec2-runner

cbmc_k3 / start-ec2-runner

cbmc_k4 / start-ec2-runner

Matrix: build_kat

Matrix: Non-standard configurations

Matrix: ec2_functests

Waiting for pending jobs

cbmc_k2 / tests

cbmc_k3 / tests

cbmc_k4 / tests

cbmc_k2 / stop-ec2-runner

cbmc_k3 / stop-ec2-runner

cbmc_k4 / stop-ec2-runner

Annotations

8 errors

Compiler tests (x86_64)

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists

Quickcheck windows-latest

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists

Quickcheck windows-latest

The operation was canceled.

Quickcheck (x86_64)

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists

Quickcheck (x86_64)

The operation was canceled.

Quickcheck (aarch64)

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists

Compiler tests (aarch64)

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists

Linting (ubuntu-latest)

Canceling since a higher priority waiting request for 'CI-refs/pull/444/merge' exists