Remove polymorphism from As_prover.t, hoist Typ.t
#453
Annotations
3 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Use OCaml 4.14.0
Unexpected input(s) 'disable-cache', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
Post Use OCaml 4.14.0
Unexpected input(s) 'disable-cache', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
Loading