Drop support for Coq 8.20 #5048
Triggered via pull request
March 3, 2026 11:14
affeldt-aist
affeldt-aist
synchronize
#1853
Status
Success
Total duration
30m 8s
Artifacts
–
nix-action-master.yml
on: pull_request_target
rocq-core
47s
rocq-elpi
1m 30s
mathcomp
11m 45s
mathcomp-analysis-single
26m 50s
mathcomp-experimental-reals
1m 51s
mathcomp-analysis-stdlib
1m 37s