Benchmark / ClassFieldTheory

ClassFieldTheory: Mathlib v4.28.0 → v4.31.0

Not attempted. The bump spans 3 Mathlib releases and produced 50 raw build errors in 18 files; an alias rewrite resolves 0 of them.

Project: kbuzzard/ClassFieldTheory. First build after the bump: 220.0 s, 2 deprecation warnings (2 with a replacement an alias rewrite would apply).

Not attempted. 50 raw errors across 110 files at the bump; the repair was not run, so there is no diff here.

Re-run it

source bench/env.sh
python3 bench/lbbench.py setup classfieldtheory      # clone kbuzzard/ClassFieldTheory at v4.28.0, bump the Mathlib pin to v4.31.0
python3 bench/lbbench.py build classfieldtheory      # cache get + lake build; writes the raw errors to bench/runs/classfieldtheory/v4.31.0/errors.json

Files

unresolved.json
errors.json

Correct this page

Something wrong on this row, or you maintain this project and want it off the benchmark? Correct this row or remove my project.