Bump DavidAnson/markdownlint-cli2-action from 16.0.0 to 17.0.0 #3120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker	1m 49s
ensure_trailing_newline	4s
hadolint	5s
lint_docs	12m 15s
markdown-lint	5s
ocamlformat	7m 37s
opamlint	12m 14s
prettier	5s
test (ubuntu-latest)	12m 22s
test_coq_files	10m 9s
test (macos-latest)	11m 59s
test (windows-latest)	22m 22s
	1h 31m 6s