pygambit Python extension

Merge branch 'maint16_1' into maint16_2 #1219

Sign in to view logs

Triggered via push August 20, 2024 13:50

tturocy

maint16_2

Status Success

Total duration 3m 32s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: windows