pygambit Python extension

Rename Game.comment to Game.description #2850

Sign in to view logs

Triggered via pull request February 4, 2026 10:05

edwardchalstrey1

opened #755

rename-comment-to-description

Status Skipped

Total duration 1s

Artifacts –

python.yml

on: pull_request

Matrix: linux

Matrix: macos-14

Matrix: macos-15

Matrix: windows