CI: start the server

PRL-PRG · Jan 15, 2025 · df39ce2 · df39ce2
1 parent 42c5f5a
commit df39ce2
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -130,5 +130,16 @@ jobs:
           cacheFrom:  ${{ needs.build-devcontainer.outputs.imageName }}
           push: never
           runCmd: cd client; make build
-      #TODO: start the server 
+      - uses: actions/download-artifact@v4
+        with:
+          name: snapshot
+          path: artifact
+      - name: start server 
+        uses: devcontainers/[email protected]
+        with:
+          imageName:  ${{ needs.build-devcontainer.outputs.imageName }}
+          cacheFrom:  ${{ needs.build-devcontainer.outputs.imageName }}
+          push: never
+          runCmd: cd artifact; java -cp r-compile-server-0.1-SNAPSHOT.jar org.prlprg.server.CompileServer
+
       #TODO: run the client tests