search

djvelleman / STG4

Set Theory Game
7 stars 8 forks source link

build gameserver #4

Closed joneugster closed 10 months ago

joneugster commented 10 months ago

The server now allows games with independent lean-toolchains. For that, the github action needs to build the gameserver executable and add it to the artifact that is uploaded.

djvelleman commented 10 months ago

Jon: I’m going to be traveling for a couple of weeks. Can this wait until I get back?