continuous integration (staging)

feat: port FieldTheory.Adjoin (#4723) #3092

Sign in to view logs

Triggered via push June 8, 2023 11:30

bors[bot]

staging

Status Success

Total duration 12m 45s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

Annotations

1 warning

`ProofWidgets.getExprPresentation` has been deprecated