Skip to content
format

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

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

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

format.yml

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