CI

CBMC: Add spec + proof for `polyvec_basemul_acc_montgomery_cached` + `poly_add` #2257

Sign in to view logs

Triggered via pull request November 5, 2024 05:45

synchronize #306

polyvec_add

Status Success

Total duration 19m 19s

Billable time 27m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Matrix: compiler_tests

Matrix: Linting

cbmc / Start CBMC (c7g.4xlarge)

Matrix: build_kat

Matrix: ec2_functests

cbmc / Stop CBMC (c7g.4xlarge)