F*: avx2: {de,}serialize{1,4,10,12}
#1626
Triggered via pull request
September 19, 2024 09:33
W95Psp
Status
Success
Total duration
11m 14s
Artifacts
–