Skip to content

Fix #15107: Exporting XML via GUI escapes special characters twice. #20878

Fix #15107: Exporting XML via GUI escapes special characters twice.

Fix #15107: Exporting XML via GUI escapes special characters twice. #20878

Triggered via pull request October 28, 2026 14:23
Status Success
Total duration 11m 2s
Artifacts 1

valgrind.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Logs
578 Bytes
sha256:52dc6353b3eb7e5e16e0a981fbcefabd7101142fb892ef0f0c70309d69df5520