Skip to content
Nix CI for bundle 8.19

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

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 #861

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

nix-action-8.19.yml

on: pull_request_target
coq
37s
coq
mathcomp
37s
mathcomp
mathcomp-analysis
15m 5s
mathcomp-analysis
mathcomp-analysis-single
14m 58s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in