pygambit Python extension

Remove undo/redo from graphical interface. #1856

Sign in to view logs

Triggered via push October 29, 2025 14:17

tturocy

maint16_3

Status Success

Total duration 8m 47s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-13

Matrix: macos-14

Matrix: windows