Skip to content

Change GUI always to draw information sets fully #1828

Change GUI always to draw information sets fully

Change GUI always to draw information sets fully #1828

Triggered via push October 24, 2025 15:33
Status Success
Total duration 10m 21s
Artifacts

python.yml

on: push
Matrix: linux
Matrix: macos-13
Matrix: macos-14
Matrix: windows
Fit to window
Zoom out
Zoom in