Skip to content
Nix CI for bundle 8.20-2.4.0

minor simplification #360

Sign in to view logs

minor simplification

minor simplification #360

Triggered via pull request December 3, 2025 14:17
@affeldt-aistaffeldt-aist
opened #1785
Status Success
Total duration 48m 26s
Artifacts –

nix-action-8.20-2.4.0.yml

on: pull_request_target
coq
1m 22s
coq
mathcomp-classical
3m 26s
mathcomp-classical
mathcomp
1m 29s
mathcomp
mathcomp-analysis-single
17m 11s
mathcomp-analysis-single
mathcomp-reals
2m 34s
mathcomp-reals
mathcomp-analysis
14m 43s
mathcomp-analysis
mathcomp-reals-stdlib
1m 50s
mathcomp-reals-stdlib
mathcomp-experimental-reals
2m 18s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
15m 26s
mathcomp-analysis-stdlib
ssprove
21m 57s
ssprove
Fit to window
Zoom out
Zoom in