Skip to content
Build manual

Fix #14011 (crash: GUI crash when trying to hide a result from xml fi… #306

Sign in to view logs

Fix #14011 (crash: GUI crash when trying to hide a result from xml fi…

Fix #14011 (crash: GUI crash when trying to hide a result from xml fi… #306

Triggered via push November 27, 2025 14:57
@danmardanmar
pushed f077ec4
main
Status Success
Total duration 26s
Artifacts –

buildman.yml

on: push
convert_via_pandoc
15s
convert_via_pandoc
manpage
21s
manpage
Fit to window
Zoom out
Zoom in