Skip to content
Lint

Merge pull request #8 from Khady/dependabot/github_actions/ocaml/setu… #18

Sign in to view logs

Merge pull request #8 from Khady/dependabot/github_actions/ocaml/setu…

Merge pull request #8 from Khady/dependabot/github_actions/ocaml/setu… #18

Triggered via push October 9, 2024 03:32
@KhadyKhady
pushed de81227
main
Status Success
Total duration 6m 6s
Artifacts –

lint.yml

on: push
lint-fmt
5m 56s
lint-fmt
lint-opam
5m 48s
lint-opam
lint-doc
5m 20s
lint-doc
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
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-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-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-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-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']