continuous integration (staging)

chore(GroupTheory/Coset): split off `Defs` file (#18347) #11475

Sign in to view logs

Triggered via push October 29, 2024 12:36

mathlib-bors[bot]

staging

Status Success

Total duration 25m 36s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)