Skip to content
Back to pull request #4622

1 char #28053

Sign in to view logs

1 char

1 char #28053

Triggered via push June 3, 2023 08:30
@int-y1int-y1
pushed e5f20da
port/CategoryTheory.Adhesive
Status Success
Total duration 9m 43s
Artifacts –

build.yml

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