Skip to content
Back to pull request #3583

fstar: rename --ocamlc to --ocamlopt, add --ocamlc for bytecode #4221

Sign in to view logs

fstar: rename --ocamlc to --ocamlopt, add --ocamlc for bytecode

fstar: rename --ocamlc to --ocamlopt, add --ocamlc for bytecode #4221

Annotations

1 error

build

build
succeeded Oct 18, 2024 in 10m 13s