HOL-Light

Add AWS-LC integration test #80

Sign in to view logs

Triggered via pull request February 5, 2025 05:33

synchronize #654

aws_lc_integration

Status Cancelled

Total duration 42m 24s

Billable time 1h 24m

Artifacts –

hol_light.yml

on: pull_request

Matrix: hol_light_proofs

Annotations

2 errors

HOL Light proof for mlkem_ntt.S

Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/654/merge' exists

HOL Light proof for mlkem_intt.S

Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/654/merge' exists