HOL-Light

Add AWS-LC integration test #79

Sign in to view logs

Triggered via pull request February 5, 2025 05:26

synchronize #654

aws_lc_integration

Status Cancelled

Total duration 7m 16s

Billable time 16m

Artifacts –

hol_light.yml

on: pull_request

Matrix: hol_light_proofs

Annotations

2 errors

HOL Light proof for mlkem_intt.S

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

HOL Light proof for mlkem_ntt.S

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