Add player labels to normal form game HTML output (fix #574) · gambitproject/gambit@c6d46bb

Re-run triggered February 20, 2026 11:18

#773

Status Success

Total duration 9m 52s

Artifacts 1

tools.yml

on: pull_request

Produced during runtime

Name	Size	Digest
artifact-msw	182 MB	`sha256:3cb14d38b7f212716bbaeb7d202f0e6b5faf5c684e424339ec17313b29b41422`