Skip to content
.github/workflows/generate_docs.yml

Drop support for Coq 8.20 (#1853) #1322

Sign in to view logs

Drop support for Coq 8.20 (#1853)

Drop support for Coq 8.20 (#1853) #1322

Triggered via push March 3, 2026 12:31
@affeldt-aistaffeldt-aist
pushed 530de63
master
Status Success
Total duration 44m 48s
Artifacts 1

generate_docs.yml

on: push
generate-artifacts
44m 43s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_530de63
6.79 MB
sha256:334956be4a2ef1b722f18abac8cdd3aa2c30ff2cd7dd3e43d0d842f63e0bb888