Skip to content
Nix CI for bundle 8.19

minor fixes and additions (#1499) #1385

Sign in to view logs

minor fixes and additions (#1499)

minor fixes and additions (#1499) #1385

Triggered via push February 25, 2025 12:09
@affeldt-aistaffeldt-aist
pushed a4f7884
master
Status Success
Total duration 56m 46s
Artifacts –

nix-action-8.19.yml

on: push
coq
39s
coq
mathcomp-classical
3m 54s
mathcomp-classical
mathcomp
39s
mathcomp
mathcomp-analysis-single
16m 37s
mathcomp-analysis-single
mathcomp-reals
2m 9s
mathcomp-reals
mathcomp-analysis
14m 24s
mathcomp-analysis
mathcomp-reals-stdlib
2m 28s
mathcomp-reals-stdlib
mathcomp-experimental-reals
2m 37s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
14m 2s
mathcomp-analysis-stdlib
ssprove
21m 12s
ssprove
Fit to window
Zoom out
Zoom in