Skip to content
continuous integration (staging)

chore: adapt install scripts from mathlib-tools (#4965) #3197

Sign in to view logs

chore: adapt install scripts from mathlib-tools (#4965)

chore: adapt install scripts from mathlib-tools (#4965) #3197

Triggered via push June 13, 2023 06:31
@borsbors[bot]
pushed 7a742ac
staging
Status Success
Total duration 29m 10s
Artifacts –

bors.yml

on: push
Lint style
10s
Lint style
Check all files imported
8s
Check all files imported
Build
28m 50s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
Post-CI job
6s
Post-CI job
Fit to window
Zoom out
Zoom in