Skip to content
continuous integration

Update Mathlib/CategoryTheory/Adjunction/Opposites.lean #153029

Sign in to view logs

Update Mathlib/CategoryTheory/Adjunction/Opposites.lean

Update Mathlib/CategoryTheory/Adjunction/Opposites.lean #153029

Triggered via push January 1, 2025 12:09
@smorel394smorel394
pushed b9544af
SM.adjunctionOp
Status Success
Total duration 8m 48s
Artifacts 1

build.yml

on: push
Lint style
1m 16s
Lint style
Build
8m 22s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
12s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Cancel Previous Runs (CI)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Post-CI job
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
import-graph
186 KB