continuous integration (staging)

feat: `MeasurableSpace (Set α)` instance (#8946) #5655

Sign in to view logs

Triggered via push December 10, 2023 13:47

mathlib-bors[bot]

staging

Status Success

Total duration 51m 7s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows