Skip to content
Nix CI for bundle 8.20

Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367) #585

Sign in to view logs

Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367)

Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367) #585

Triggered via push November 10, 2024 03:51
@affeldt-aistaffeldt-aist
pushed e792f1a
master
Status Success
Total duration 15m 30s
Artifacts –

nix-action-8.20.yml

on: push
coq
38s
coq
mathcomp-classical
38s
mathcomp-classical
mathcomp
37s
mathcomp
mathcomp-analysis-single
14m 36s
mathcomp-analysis-single
mathcomp-reals
37s
mathcomp-reals
mathcomp-analysis
41s
mathcomp-analysis
mathcomp-reals-stdlib
38s
mathcomp-reals-stdlib
mathcomp-experimental-reals
37s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
39s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in