CI: fix the building command for the client

PRL-PRG · Jan 15, 2025 · f854511 · f854511
1 parent df39ce2
commit f854511
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
@@ -129,7 +129,7 @@ jobs:
           imageName:  ${{ needs.build-devcontainer.outputs.imageName }}
           cacheFrom:  ${{ needs.build-devcontainer.outputs.imageName }}
           push: never
-          runCmd: cd client; make build
+          runCmd: cd client/rsh; make install
       - uses: actions/download-artifact@v4
         with:
           name: snapshot