F*: avx2: {de,}serialize{1,4,10,12}
#926
Triggered via pull request
September 26, 2024 13:31
W95Psp
Status
Success
Total duration
22m 50s
Artifacts
–