Skip to content

chore: Split Mathlib.RingTheory.Ideal.Norm (#19211) #12049

chore: Split Mathlib.RingTheory.Ideal.Norm (#19211)

chore: Split Mathlib.RingTheory.Ideal.Norm (#19211) #12049

Triggered via push November 18, 2024 16:51
Status Success
Total duration 9m 34s
Artifacts 1

bors.yml

on: push
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
import-graph Expired
176 KB