Skip to content
format

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

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 #18737

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

format.yml

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