pygambit Python extension

Merge branch 'maint_16_0' #201

Sign in to view logs

Triggered via push April 14, 2023 21:15

tturocy

master

Status Success

Total duration 3m 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

python.yml

on: push

Matrix: linux

Matrix: windows