Skip to content
hax

Build C extraction Docker image and run tests on CI #2493

Sign in to view logs

Build C extraction Docker image and run tests on CI

Build C extraction Docker image and run tests on CI #2493

Triggered via pull request February 6, 2025 12:49
@wysiwyswysiwys
synchronize #791
wysiwys/docker-build-tests
Status Cancelled
Total duration 3m 7s
Artifacts –

hax.yml

on: pull_request
mldsa-extract
0s
mldsa-extract
mlkem-extract
0s
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

2 errors
mldsa-extract
Canceling since a higher priority waiting request for 'hax-refs/pull/791/merge' exists
mlkem-extract
Canceling since a higher priority waiting request for 'hax-refs/pull/791/merge' exists