Skip to content
continuous integration

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean #169488

Sign in to view logs

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean #169488

Triggered via push February 25, 2025 20:55
@joelrioujoelriou
pushed 55fd3b6
jriou-object-property
Status Cancelled
Total duration 17s
Artifacts –

build.yml

on: push
Build
Build
Lint style
Lint style
Post-CI job
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error
continuous integration
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/jriou-object-property. ' exists