Skip to content
GitLab

Merge branch 'master' into 'self_play' 

Merge Master into self_play

See merge request !32
1 job for self_play in 1 minute and 26 seconds (queued for 1 second)
latest
12d57ec1
1 related merge request: !31 BA Hoefer: Self-Play Parameter added