Merge remote-tracking branch 'origin/master'

.github/workflows/publish.yml

@@ -1,21 +1,20 @@
 name: Publish LabAide to Maven repository
-on: workflow_dispatch
+run-name: Deploy to Maven repo by @${{ github.actor }}
+on: [workflow_dispatch, release]
 jobs:
   publish:
+    name: Publish
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - name: Set up actions checkout 
+        uses: actions/checkout@v2
       - name: Set up JDK 18
         uses: actions/setup-java@v1
         with:
           java-version: 18
-      - uses: s4u/[email protected]
+      - name: Set up maven credentials
+        uses: s4u/[email protected]
         with:
-          servers: |
-            [{
-              "id": "arcadelabs-mvn-releases",
-              "username": "${{ secrets.REPO_NAME }}",
-              "password": "${{ secrets.REPO_TOKEN }}"
-            }]
+          servers: '[{"id": "arcadelabs-mvn-releases", "username": "${{ secrets.REPO_NAME }}", "password": "${{ secrets.REPO_TOKEN }}"}]'
       - name: Publish with Maven
-        run: mvn deploy -X
+        run: mvn deploy