Bump DavidAnson/markdownlint-cli2-action from 16.0.0 to 17.0.0 #3120
Triggered via pull request
September 11, 2024 23:31
Status
Failure
Total duration
22m 37s
Artifacts
–
test.yml
on: pull_request
prettier
5s
ocamlformat
7m 37s
lint_docs
12m 15s
test_coq_files
10m 9s
opamlint
12m 14s
docker
1m 49s
ensure_trailing_newline
4s
hadolint
5s
markdown-lint
5s
Matrix: test
Annotations
2 errors
docker
Process completed with exit code 1.
|
test_coq_files
Process completed with exit code 124.
|