pygambit Python extension

Include header <optional> #2437

Sign in to view logs

Triggered via push December 16, 2025 16:19

tturocy

dev_withchance

Status Success

Total duration 11m 22s

Artifacts –

python.yml

on: push

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows