Skip to content
continuous integration (staging)

feat: port MeasureTheory.Function.L2Space (#4737) #3063

Sign in to view logs

feat: port MeasureTheory.Function.L2Space (#4737)

feat: port MeasureTheory.Function.L2Space (#4737) #3063

Triggered via push June 7, 2023 13:56
@borsbors[bot]
pushed 2d45c79
staging
Status Success
Total duration 1h 8m 13s
Artifacts –

bors.yml

on: push
Lint style
11s
Lint style
Check all files imported
6s
Check all files imported
Build
1h 7m
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
6s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build
`ProofWidgets.getExprPresentation` has been deprecated