Skip to content
continuous integration (staging)

feat: add by how many modules imports grew (#18303) #11440

Sign in to view logs

feat: add by how many modules imports grew (#18303)

feat: add by how many modules imports grew (#18303) #11440

Triggered via push October 28, 2024 10:57
@mathlib-borsmathlib-bors[bot]
pushed d886d6d
staging
Status Success
Total duration 37m 36s
Artifacts –

bors.yml

on: push
Lint style
29s
Lint style
Build
37m 13s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in