continuous integration (staging)

refactor(Counterexamples/SeminormLatticeNotDistrib): minor golfing (#… #10801

Sign in to view logs

Triggered via push October 3, 2024 09:41

mathlib-bors[bot]

staging

Status Cancelled

Total duration 26m 19s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)

Annotations

2 errors

The run was canceled by @github-actions[bot].

The operation was canceled.