continuous integration (staging)

style(MeasureTheory/Measure/MeasureSpace): rename `FiniteSpanningSets… #2658

Sign in to view logs

Triggered via push May 19, 2023 12:42

bors[bot]

staging

Status Success

Total duration 2h 20m 10s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)