Drop support for Coq 8.20 · math-comp/analysis@e3fe550

Triggered via pull request February 20, 2026 15:22

proux01

opened #1853

proux01:drop820

Status Success

Total duration 43m 6s

Artifacts 1

generate_docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
mathcomp-analysis_drop820	6.75 MB	`sha256:2331ff683c61e6f1f621b0a3845a717e52950992a408ed40d25a919e6555e8ed`