chore: Remove version properties from pom.xml and enhance GitHub Actions workflow for versioning

- Removed version properties from the Maven profiles in pom.xml to simplify configuration.
- Added steps in the GitHub Actions workflow to dynamically retrieve and set the project version with a padded run number for better versioning during snapshot deployments.
- Improved the overall clarity and maintainability of the workflow for future releases.

Author: Marvin Zhang

.github/workflows/publish.yml

@@ -22,6 +22,14 @@ jobs:
         with:
           java-version: '17'
           distribution: 'temurin'
+      - name: Get version
+        id: get_version
+        run: echo "name=$(mvn help:evaluate -Dexpression=project.version -q -DforceStdout)" >> $GITHUB_OUTPUT
+      - name: Pad run number
+        id: pad_run_number
+        run: echo "padded_run_number=$(printf '%04d' ${{ github.run_number }})" > $GITHUB_OUTPUT
+      - name: Set version
+        run: mvn versions:set -DnewVersion=${{ steps.get_version.outputs.version }}-SNAPSHOT-${{ steps.pad_run_number.outputs.padded_run_number }}
       - name: Publish package
         run: |
           mvn -P snapshot --batch-mode deploy

pom.xml

@@ -120,9 +120,6 @@
                     </plugin>
                 </plugins>
             </build>
-            <properties>
-                <version>${project.version}</version>
-            </properties>
         </profile>
 
         <!-- Profile for Snapshot Version -->
@@ -170,9 +167,6 @@
                     </plugin>
                 </plugins>
             </build>
-            <properties>
-                <version>${project.version}-SNAPSHOT</version>
-            </properties>
         </profile>
     </profiles>
 </project>