Skip to content

Fix regression in GUI not properly numbering actions at a new information set. #1973

Fix regression in GUI not properly numbering actions at a new information set.

Fix regression in GUI not properly numbering actions at a new information set. #1973

Triggered via pull request November 17, 2025 13:40
Status Skipped
Total duration 1s
Artifacts

tools.yml

on: pull_request
Fit to window
Zoom out
Zoom in