CI

Merge pull request #456 from pq-code-package/eta2 #2881

Sign in to view logs

Re-run triggered November 26, 2024 10:40

main

Status Success

Total duration 9m 39s

Billable time 47m

Artifacts –

ci.yml

on: push

Matrix: quickcheck

Quickcheck windows-latest

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: Non-standard configurations

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)