Skip to content
continuous integration

other occurances of covers_iff_mem_of_isClosed #27509

Sign in to view logs

other occurances of covers_iff_mem_of_isClosed

other occurances of covers_iff_mem_of_isClosed #27509

Triggered via push May 31, 2023 05:11
@mo271mo271
pushed f114500
port/CategoryTheory.Sites.Closed
Status Success
Total duration 19m 35s
Artifacts –

build.yml

on: push
Lint style
3m 39s
Lint style
Check all files imported
7s
Check all files imported
Build
19m 12s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in