Skip to content
continuous integration

Update Mathlib/Analysis/Analytic/IsolatedZeros.lean #169285

Sign in to view logs

Update Mathlib/Analysis/Analytic/IsolatedZeros.lean

Update Mathlib/Analysis/Analytic/IsolatedZeros.lean #169285

Triggered via push February 25, 2025 12:00
@kebekuskebekus
pushed 30c65f1
kebekus/preimgDiscrete
Status Cancelled
Total duration 19s
Artifacts –

build.yml

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

Annotations

3 errors
Build
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/kebekus/preimgDiscrete. ' exists
Lint style
Canceling since a higher priority waiting request for 'continuous integration-refs/heads/kebekus/preimgDiscrete. ' exists
Lint style
The operation was canceled.