Closed mgerhardy closed 1 year ago
https://github.com/mgerhardy/opengametools/actions/runs/5287265281/jobs/9567546804
but this of course only works once #53 is merged
https://github.com/mgerhardy/opengametools/actions/runs/5287265281/jobs/9567546804
but this of course only works once #53 is merged