continuous integration (staging)

chore(Data/Finset): split lattice file (#17049) #10748

Sign in to view logs

Triggered via push October 1, 2024 13:10

mathlib-bors[bot]

staging

Status Failure

Total duration 50m 7s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)

Annotations

1 error

Process completed with exit code 1.