pygambit Python extension

Remove vestigial undo/redo from GUI, including (now inactive) icons from toolbar #3188

Sign in to view logs

Triggered via pull request March 15, 2026 21:16

tturocy

opened #802

dev_undoicon

Status Skipped

Total duration 1s

Artifacts –

python.yml

on: pull_request

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows