export github action

.github/workflows/build.yml

@@ -12,8 +12,3 @@ jobs:
 
       - name: build docker image
         run: docker build . --file Dockerfile --tag nng:latest
-
-      - name: Store docker container as an artifact
-        uses: ishworkh/docker-image-artifact-upload@v1
-        with:
-          image: "nng:latest"

.github/workflows/export.yml

@@ -0,0 +1,10 @@
+name: Build
+run-name: Export
+on: [workflow_dispatch]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: export into Game Server
+        run: curl -s https://adam.math.hhu.de/import/trigger/${GITHUB_REPOSITORY}  > /dev/null && \
+          echo 'View progress at https://adam.math.hhu.de/import/status/${GITHUB_REPOSITORY}'

Dockerfile

@@ -22,3 +22,5 @@ WORKDIR /game
 RUN lake clean && lake build
 
 WORKDIR /game/lake-packages/GameServer/server/build/bin/
+
+CMD ./gameserver --server /game/ NNG NNG