continuous integration (staging)

chore(Algebra/Order/Group): change simp lemmas (#7867) #5762

Sign in to view logs

Triggered via push December 18, 2023 06:06

mathlib-bors[bot]

staging

Status Success

Total duration 1h 9m 28s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows