pygambit Python extension

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

Sign in to view logs

Triggered via push October 18, 2024 15:23

tturocy

master

Status Success

Total duration 5m 18s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: windows