pygambit Python extension

Set up label editing UX, apply to action/infoset label editing. #3865

Sign in to view logs

Triggered via push June 29, 2026 14:28

tturocy

issue_945

Status Success

Total duration 10m 42s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows