Drop support for Coq 8.20 #1320
affeldt-aistgenerate_docs.yml
on: pull_request
generate-artifacts
44m 15s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
mathcomp-analysis_drop820
|
6.79 MB |
sha256:a386fad5e08fc90a0e2ee58a9032f2ec8304e0c12ba31ec57c37fe2391db9a3d
|
|