Skip to content
Back to pull request #781

Update F* output with latest hax (after merging new naming). #2433

Sign in to view logs

Update F* output with latest hax (after merging new naming).

Update F* output with latest hax (after merging new naming). #2433

Run time

Learn about OS pricing on GitHub Actions
Job Run time
mldsa-extract
1m 53s
mlkem-extract
2m 15s
mldsa-diff
5s
mlkem-diff
5s
mldsa-lax
9m 17s
mlkem-lax
14m 3s
27m 38s