continuous integration (staging)

style(FieldTheory/Minpoly): rename `minpoly.minpoly_lift` to `minpoly… #14059

Sign in to view logs

Triggered via push February 25, 2025 09:27

mathlib-bors[bot]

staging

Status Success

Total duration 12m 37s

Artifacts 1

bors.yml

on: push

Artifacts

Produced during runtime

Name	Size
import-graph	203 KB