Skip to content
Nix CI for bundle 9.0-2.4.0

Drop support for Coq 8.20 #2

Sign in to view logs

Drop support for Coq 8.20

Drop support for Coq 8.20 #2

Triggered via pull request March 3, 2026 11:14
@affeldt-aistaffeldt-aist
synchronize #1853
proux01:drop820
Status Success
Total duration 51m 32s
Artifacts –

nix-action-9.0-2.4.0.yml

on: pull_request
rocq-core
42s
rocq-core
coq
45s
coq
mathcomp-classical
2m 45s
mathcomp-classical
mathcomp
47s
mathcomp
mathcomp-analysis-single
14m 14s
mathcomp-analysis-single
mathcomp-reals
1m 50s
mathcomp-reals
mathcomp-analysis
13m 14s
mathcomp-analysis
mathcomp-reals-stdlib
2m 30s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 40s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
13m 11s
mathcomp-analysis-stdlib
ssprove
17m 36s
ssprove
mathcomp-infotheo
18m 28s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in