GitHub no longer logs in as mograsim, but as mgsdeploy

[Mograsim.git] / .github / workflows / maven.yml

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 605bdf8..8fdc5d5 100644 (file)
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -3,7 +3,7 @@ name: Java CI
 on: [push]
 
 jobs:
-  build:
+  build-and-deploy:
 
     runs-on: ubuntu-latest
 
@@ -28,3 +28,13 @@ jobs:
           mograsim-maven-
     - name: Build with Maven
       run: mvn --batch-mode --errors --fail-at-end --show-version clean verify --file pom.xml
+    - name: Deploy to mograsim.net
+      env:
+        DEPLOY_KEY: ${{ secrets.DEPLOY_KEY}}
+        MOGRASIM_NET_HOST_PUBKEY: ${{ secrets.MOGRASIM_NET_HOST_PUBKEY }}
+      run: |
+        mkdir -p ~/.ssh
+        echo "${DEPLOY_KEY}" > ~/.ssh/id_rsa_deploy
+        chmod 600 ~/.ssh/id_rsa_deploy
+        echo "${MOGRASIM_NET_HOST_PUBKEY}" >> ~/.ssh/known_hosts
+        scp -i ~/.ssh/id_rsa_deploy -r releng/net.mograsim.plugin.updatesite/target/repository mgsdeploy@mograsim.net:/mograsim/testdeploy