CI

Add first draft of "Proof Guide" document for review. #2333

Sign in to view logs

Triggered via pull request November 6, 2024 12:59

rod-chapman

synchronize #246

add_proof_guide

Status Cancelled

Total duration 6m 21s

Billable time 13m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Matrix: compiler_tests

Matrix: Linting

cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)

Matrix: build_kat

Matrix: ec2_functests

cbmc_k2 / tests

cbmc_k3 / tests

cbmc_k4 / tests

cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

Annotations

12 errors

Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)

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

Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)

The operation was canceled.

Functional tests (ubuntu-latest (aarch64))

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

Functional tests (MacOS)

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

Functional tests (AMD EPYC 4th gen (t3a)) / tests

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

Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)

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

Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)

The operation was canceled.

cbmc_k4 / tests

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

cbmc_k3 / tests

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

Functional tests (ubuntu-latest (x86_64))

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

cbmc_k2 / tests

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

Functional tests (Graviton3 (c7g.medium)) / tests

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