Skip to content
format

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

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

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

format.yml

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