pygambit Python extension

Merge branch 'master' into dev_labels #2522

Sign in to view logs

Triggered via push December 19, 2025 15:15

tturocy

dev_labels

Status Success

Total duration 10m 1s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows