Drop support for Coq 8.20 #1471
Triggered via pull request
March 3, 2026 11:14
affeldt-aist
affeldt-aist
synchronize
#1853
Status
Success
Total duration
41m 19s
Artifacts
–
nix-action-9.0.yml
on: pull_request_target
rocq-core
54s
mathcomp-analysis-single
14m 10s
ssprove
17m 50s
mathcomp-infotheo
6m 50s