pygambit Python extension

Write function to standardise labels for players, outcomes, actions, … #2495

Sign in to view logs

Triggered via push December 18, 2025 16:38

tturocy

dev_labels

Status Success

Total duration 10m 55s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows