continuous integration (staging)

chore(NormedSpace/Complemented): review API (#8596) #5559

Sign in to view logs

Triggered via push December 4, 2023 13:54

mathlib-bors[bot]

staging

Status Success

Total duration 47m 20s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows