-
Vivien Kraus authored
The CI is litterally stuffed with merger requests to update the generated games, but for now we do not use that feature.
05e83d26
The CI is litterally stuffed with merger requests to update the generated games, but for now we do not use that feature.