Skip to content
ML-DSA

F*: avx2: {de,}serialize{1,4,10,12} #928

Sign in to view logs

F*: avx2: {de,}serialize{1,4,10,12}

F*: avx2: {de,}serialize{1,4,10,12} #928

Triggered via pull request September 27, 2024 04:55
@karthikbhargavankarthikbhargavan
synchronize #590
lf-avx2-serialize-deserialize-4
Status Success
Total duration 16m 13s
Artifacts –

mldsa.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in