pygambit Python extension

Add player labels to normal form game HTML output (fix #574) #3000

Sign in to view logs

Re-run triggered February 20, 2026 11:18

edwardchalstrey1

#773

Ao-chuba:fix/issue-574-html-player-labels

Status Success

Total duration 10m 26s

Artifacts –

python.yml

on: pull_request

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows