make logging more terse #58
koonwenAnnotations
2 errors and 4 warnings
|
lint-opam
The process '/opt/hostedtoolcache/opam/2.3.0/x86_64/opam' failed with exit code 10
|
|
lint-doc
The process '/opt/hostedtoolcache/opam/2.3.0/x86_64/opam' failed with exit code 10
|
|
lint-opam
Unexpected input(s) 'opam-depext-flags', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
lint-doc
Unexpected input(s) 'opam-depext-flags', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
lint-fmt
Unexpected input(s) 'opam-depext-flags', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|
|
lint-fmt
Unexpected input(s) 'opam-depext-flags', valid inputs are ['allow-prerelease-opam', 'ocaml-compiler', 'opam-repositories', 'opam-pin', 'opam-local-packages', 'opam-disable-sandboxing', 'dune-cache', 'cache-prefix', 'github-token']
|