Skip to content
Nix CI for bundle 8.20

tentative generalization of FTC2 #958

Sign in to view logs

tentative generalization of FTC2

tentative generalization of FTC2 #958

Triggered via pull request February 14, 2025 15:39
@affeldt-aistaffeldt-aist
synchronize #1446
Status Success
Total duration 39m 32s
Artifacts –

nix-action-8.20.yml

on: pull_request_target
coq
41s
coq
mathcomp-classical
3m 17s
mathcomp-classical
mathcomp
47s
mathcomp
mathcomp-analysis-single
13m 21s
mathcomp-analysis-single
mathcomp-reals
4m 1s
mathcomp-reals
mathcomp-analysis
11m 11s
mathcomp-analysis
mathcomp-reals-stdlib
1m 26s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 52s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
11m 28s
mathcomp-analysis-stdlib
ssprove
19m 36s
ssprove
Fit to window
Zoom out
Zoom in