feat!: switch to support Coq 8.20 #3149
Triggered via pull request
November 12, 2024 23:30
toku-sa-n
Status
Success
Total duration
20m 24s
Artifacts
–
test.yml
on: pull_request
prettier
14s
ocamlformat
4m 35s
lint_docs
8m 44s
test_coq_files
7m 36s
opamlint
8m 28s
docker
7m 45s
ensure_trailing_newline
4s
hadolint
6s
markdown-lint
6s
Matrix: test