Remove polymorphism from As_prover.t, hoist Typ.t
#451
Triggered via pull request
December 16, 2024 13:10
mrmr1993
Status
Success
Total duration
14m 47s
Artifacts
–
Annotations
5 warnings
|
check_build (ubuntu-latest, 4.14.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
check_build (ubuntu-latest, 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']
|
|
check_build (ubuntu-latest, 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']
|
|
check_build (macos-latest, 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']
|
|
check_build (macos-latest, 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']
|