pygambit Python extension

Remove integrated lrslib and call lrsnash as external tool. #1285

Sign in to view logs

Triggered via push October 18, 2024 15:10

tturocy

feat_lrslib

Status Success

Total duration 4m 35s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: windows