Skip to content

Change type of GamePlayerRep::m_infosets from Array to std::vector #1431

Change type of GamePlayerRep::m_infosets from Array to std::vector

Change type of GamePlayerRep::m_infosets from Array to std::vector #1431

Triggered via pull request March 28, 2025 10:16
Status Success
Total duration 7m 32s
Artifacts 2

tools.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact-msw Expired
120 MB
sha256:ab136a4a432ad76242b9a3c6fef97a9414d08673fa69105ece640e5543762639
artifact-osx Expired
6.77 MB
sha256:3f9cc200bae622dba6827460133be0bf0dccfe7f7eb711aa7d20e49617587ba0