refactor(sat): small style improvements (#11416) #2844
Annotations
4 warnings
|
Use OCaml 5.1.x
Unexpected input(s) 'opam-depext', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
Store warm synthetic benchmark result
Auto-push failed because the remote gh-pages was updated after git pull
|
|
Store warm synthetic benchmark result
Retrying to generate a commit and push to remote gh-pages with retry count 10...
|
|
Post Use OCaml 5.1.x
Unexpected input(s) 'opam-depext', 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