Skip to content
Nix CI for bundle master

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

Sign in to view logs

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

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

Triggered via pull request October 27, 2024 15:59
@zstone1zstone1
opened #1367
Status Success
Total duration 13m 13s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
39s
coq
mathcomp-bigenough
46s
mathcomp-bigenough
coq-elpi
42s
coq-elpi
mathcomp-finmap
47s
mathcomp-finmap
hierarchy-builder
44s
hierarchy-builder
mathcomp
42s
mathcomp
mathcomp-analysis
10m 35s
mathcomp-analysis
mathcomp-analysis-single
10m 24s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in