Skip to content

hax

hax #2409

Manually triggered January 29, 2025 16:37
Status Success
Total duration 1h 3m 12s
Artifacts 2

hax.yml

on: workflow_dispatch

Artifacts

Produced during runtime
Name Size
fstar-extraction-mldsa
195 KB
fstar-extraction-mlkem
199 KB