Skip to content
continuous integration (staging)

chore: cleanup a few porting notes (#18380) #11480

Sign in to view logs

chore: cleanup a few porting notes (#18380)

chore: cleanup a few porting notes (#18380) #11480

Triggered via push October 29, 2024 14:36
@mathlib-borsmathlib-bors[bot]
pushed cf70dec
staging
Status Success
Total duration 41m 17s
Artifacts –

bors.yml

on: push
Lint style
30s
Lint style
Build
40m 50s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
12s
Post-CI job
Fit to window
Zoom out
Zoom in