Skip to content
continuous integration (mathlib forks)

rename decls #31553

Sign in to view logs

rename decls

rename decls #31553

Triggered via push June 17, 2023 05:20
@j-loreauxj-loreaux
pushed 8f9997a
j-loreaux/StarSubalgebra.map-topologicalClosure
Status Success
Total duration 12s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in