feat!: switch to support Coq 8.20 #3146
Triggered via pull request
November 12, 2024 23:28
toku-sa-n
Status
Success
Total duration
17m 56s
Artifacts
–
test.yml
on: pull_request
prettier
16s
ocamlformat
4m 27s
lint_docs
8m 42s
test_coq_files
7m 17s
opamlint
8m 41s
docker
7m 42s
ensure_trailing_newline
4s
hadolint
7s
markdown-lint
5s
Matrix: test