pygambit Python extension

Merge branch 'maint16_2' into merge_16_2 #1399

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
windows (3.12)	3m 16s
linux (3.9)	3m 59s
linux (3.12)	3m 49s
	11m 4s