continuous integration (staging)

feat(RingTheory): valuation subrings are maximal local subrings (#19012) #11942

Sign in to view logs

Triggered via push November 14, 2024 17:15

mathlib-bors[bot]

staging

Status Success

Total duration 19m 27s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)