Skip to content
continuous integration (staging)

feat({Ring|Field}Theory/Adjoin): add various results on adjoin (#9790) #6180

Sign in to view logs

feat({Ring|Field}Theory/Adjoin): add various results on adjoin (#9790)

feat({Ring|Field}Theory/Adjoin): add various results on adjoin (#9790) #6180

Triggered via push January 19, 2024 16:10
@mathlib-borsmathlib-bors[bot]
pushed 50388bc
staging
Status Success
Total duration 31m 4s
Artifacts –

bors.yml

on: push
Lint style
23s
Lint style
Check all files imported
7s
Check all files imported
Build
30m 41s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in