Skip to content
format

Fix #15010: ErrorLogger: do not open and read from files unless necessary #18742

Sign in to view logs

Fix #15010: ErrorLogger: do not open and read from files unless necessary

Fix #15010: ErrorLogger: do not open and read from files unless necessary #18742

Triggered via pull request September 7, 2026 12:10
@ludviggunneludviggunne
synchronize #8826
ludviggunne:15010-redundant-read
Status Success
Total duration 6m 41s
Artifacts –

format.yml

on: pull_request
build
48s
build
Fit to window
Zoom out
Zoom in