Skip to content
continuous integration

no errors?! #29650

Sign in to view logs

no errors?!

no errors?! #29650

Triggered via push June 10, 2023 12:03
@mo271mo271
pushed 2c550ec
port/CategoryTheory.Sites.CompatibleSheafification
Status Success
Total duration 16m 59s
Artifacts –

build.yml

on: push
Lint style
36s
Lint style
Check all files imported
6s
Check all files imported
Build
16m 34s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in