F*: avx2: {de,}serialize{1,4,10,12}
#1633
Triggered via pull request
September 19, 2024 12:05
W95Psp
Status
Success
Total duration
13m 40s
Artifacts
–