Skip to content
continuous integration (staging)

chore(RingTheory/AdjoinRoot): modify field instance on AdjoinRoot (#… #2836

Sign in to view logs

chore(RingTheory/AdjoinRoot): modify field instance on AdjoinRoot (#…

chore(RingTheory/AdjoinRoot): modify field instance on AdjoinRoot (#… #2836

Triggered via push May 29, 2023 08:45
@borsbors[bot]
pushed b2dbc75
staging
Status Success
Total duration 22m 40s
Artifacts –

bors.yml

on: push
Lint style
9s
Lint style
Check all files imported
6s
Check all files imported
Build
22m 18s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in