Commit dd2af4f3 authored by Ralf Jung's avatar Ralf Jung
Browse files

*oops* we stopped recording per-file compile times on the CI when we disabled 8.5...

parent c48ae35d
Pipeline #3738 failed