Skip to content
continuous integration

Update Mathlib/Topology/Constructions.lean #60005

Sign in to view logs

Update Mathlib/Topology/Constructions.lean

Update Mathlib/Topology/Constructions.lean #60005

Triggered via push December 10, 2023 23:24
@eric-wiesereric-wieser
pushed b37f7bb
eric-wieser/ulift-topology
Status Success
Total duration 46m 9s
Artifacts –

build.yml

on: push
Lint style
40s
Lint style
Check all files imported
11s
Check all files imported
Build
45m 42s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
13s
Post-CI job
Fit to window
Zoom out
Zoom in