Skip to content
Nix CI for bundle master

Drop support for Coq 8.20 (#1853) #5050

Sign in to view logs

Drop support for Coq 8.20 (#1853)

Drop support for Coq 8.20 (#1853) #5050

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

nix-action-master.yml

on: push
rocq-core
58s
rocq-core
rocq-elpi
59s
rocq-elpi
coq
1m 1s
coq
stdlib
56s
stdlib
coq-elpi
57s
coq-elpi
mathcomp-bigenough
1m 41s
mathcomp-bigenough
mathcomp-finmap
1m 41s
mathcomp-finmap
hierarchy-builder
1m 15s
hierarchy-builder
mathcomp-classical
2m 17s
mathcomp-classical
mathcomp
2m 32s
mathcomp
mathcomp-analysis-single
2m 17s
mathcomp-analysis-single
mathcomp-reals
2m 21s
mathcomp-reals
mathcomp-analysis
1m 15s
mathcomp-analysis
mathcomp-reals-stdlib
1m 19s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 15s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
1m 8s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in