Do release on master push (#10)

.github/workflows/release.yml

@@ -0,0 +1,29 @@
+name: 'Release'
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  release:
+    name: 'Publish Release'
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v4
+
+      - name: Set up Java for publishing to GitHub Maven Packages
+        uses: actions/setup-java@v4
+        with:
+          java-version: '17'
+          distribution: 'zulu'
+          overwrite-settings: true
+          server-id: runtime.verification
+          server-username: MAVEN_USERNAME
+          server-password: MAVEN_PASSWORD
+
+      - name: 'Push Maven Packages'
+        env:
+          MAVEN_USERNAME: [email protected]
+          MAVEN_PASSWORD: ${{ secrets.CLOUDREPO_PASSWORD }}
+        run: mvn deploy --batch-mode -U

.github/workflows/test.yml

@@ -15,11 +15,13 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
+
       - name: 'Set up Java 17'
         uses: actions/setup-java@v4
         with:
           distribution: 'zulu'
           java-version: 17
+
       - name: 'Install Maven'
         run: sudo apt-get update && sudo apt-get install --yes maven