chore: improve CI

.github/workflows/finish_release.yml

@@ -17,6 +17,17 @@ jobs:
           ref: main
           fetch-depth: 0 # Otherwise merge will fail on account of not having history.
 
+      - name: Put back the 999-SNAPSHOT version on the release branch
+        run: |
+          git config user.name "Timefold Release Bot"
+          git config user.email "[email protected]"
+          git checkout -B $RELEASE_BRANCH_NAME
+          mvn -Dfull versions:set -DnewVersion=999-SNAPSHOT
+          sed -i "s/^timefold_solver_python_version.*=.*/timefold_solver_python_version = '999-dev0'/" setup.py
+          find . -name 'pom.xml' | xargs git add
+          git commit -am "build: move back to 999-SNAPSHOT"
+          git push origin $RELEASE_BRANCH_NAME          
+
       - name: Update release branch
         shell: bash
         run: |

.github/workflows/release.yml

@@ -48,7 +48,7 @@ jobs:
           fetch-depth: 0
           ref: ${{ github.event.inputs.sourceBranch }}
 
-      - name: Init release branch
+      - name: Delete existing release branch
         continue-on-error: true
         run: git push -d origin $RELEASE_BRANCH_NAME
 
@@ -78,7 +78,7 @@ jobs:
       - name: Install Pip and build
         run: |
           python -m pip install --upgrade pip
-          pip install build
+          pip install build          
 
       # We skip tests in dry run, to make the process faster.
       # Technically, this goes against the main reason for doing a dry run; to eliminate potential problems.
@@ -118,4 +118,4 @@ jobs:
 
       - name: Publish distribution to PyPI
         uses: pypa/gh-action-pypi-publish@release/v1
-        if: ${{ github.event.inputs.dryRun == 'false' }}
+        if: ${{ github.event.inputs.dryRun == 'false' }}