Skip to content
hax

Readmes with verification status #2636

Sign in to view logs

Readmes with verification status

Readmes with verification status #2636

Triggered via pull request February 18, 2025 20:40
@jschneider-benschjschneider-bensch
opened #839
jonas/verification-badges
Status Cancelled
Total duration 25s
Artifacts –

hax.yml

on: pull_request
mldsa-extract
6s
mldsa-extract
mlkem-extract
6s
mlkem-extract
mldsa-diff
0s
mldsa-diff
mlkem-diff
0s
mlkem-diff
mldsa-lax
0s
mldsa-lax
mlkem-lax
0s
mlkem-lax
Fit to window
Zoom out
Zoom in

Annotations

3 errors
mldsa-extract
Canceling since a higher priority waiting request for 'hax-refs/pull/839/merge' exists
mlkem-extract
Canceling since a higher priority waiting request for 'hax-refs/pull/839/merge' exists
mlkem-extract
The operation was canceled.