[CI] [Windows] Try 3.3.0#2100

JasonGross wants to merge 1 commit into

mastermit-plv/fiat-crypto:masterfrom

setup-ocaml@3.3.0mit-plv/fiat-crypto:setup-ocaml@3.3.0Copy head branch name to clipboard