F*: avx2: {de,}serialize{1,4,10,12}
#147
W95Pspreviews.yml
on: pull_request
review_requested
/
review_requested
3s
{de,}serialize{1,4,10,12}
#147