Skip to content
continuous integration (staging)

feat: positive contractions in a C⋆-algebra form a directed set (#18016) #11508

Sign in to view logs

feat: positive contractions in a C⋆-algebra form a directed set (#18016)

feat: positive contractions in a C⋆-algebra form a directed set (#18016) #11508

Triggered via push October 30, 2024 16:54
@mathlib-borsmathlib-bors[bot]
pushed e15c6eb
staging
Status Success
Total duration 9m 32s
Artifacts –

bors.yml

on: push
Lint style
31s
Lint style
Build
9m 10s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in