Skip to content
Back to pull request #3356

other occurances of covers_iff_mem_of_isClosed #27779

Sign in to view logs

other occurances of covers_iff_mem_of_isClosed

other occurances of covers_iff_mem_of_isClosed #27779

Triggered via push May 31, 2023 05:11
@mo271mo271
pushed f114500
port/CategoryTheory.Sites.Closed
Status Success
Total duration 11s
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