pygambit Python extension

Remove vestigial undo/redo from GUI, including (now inactive) icons f… #3187

Sign in to view logs

Triggered via push March 15, 2026 21:15

tturocy

dev_undoicon

Status Success

Total duration 10m 16s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows