Skip to content
continuous integration (staging)

feat: Mapping extreme points under continuous maps (#8574) #5498

Sign in to view logs

feat: Mapping extreme points under continuous maps (#8574)

feat: Mapping extreme points under continuous maps (#8574) #5498

Triggered via push November 30, 2023 09:46
@mathlib-borsmathlib-bors[bot]
pushed b9b9fdb
staging
Status Success
Total duration 1h 12m 9s
Artifacts –

bors.yml

on: push
Lint style
20s
Lint style
Check all files imported
9s
Check all files imported
Build
56m 30s
Build
Cancel Previous Runs (CI)
6s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
Post-CI job
13s
Post-CI job
Fit to window
Zoom out
Zoom in