Benchmark / PersistentDecomp

PersistentDecomp: Mathlib v4.31.0 → v4.35.0

Builds clean at the target. The bump spans 4 Mathlib releases and produced 0 raw build errors in 0 files; an alias rewrite resolves 0 of them.

Project: Paul-Lez/PersistentDecomp. First build after the bump: 5.4 s, 9 deprecation warnings (6 with a replacement an alias rewrite would apply).

Re-run it

source bench/env.sh
python3 bench/lbbench.py setup persistentdecomp      # clone Paul-Lez/PersistentDecomp at v4.31.0, bump the Mathlib pin to v4.35.0
python3 bench/lbbench.py build persistentdecomp      # cache get + lake build; writes the raw errors to bench/runs/persistentdecomp/v4.35.0/errors.json

Files

• 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.