chore: update CI workflow to fetch and merge the current branch before committing coverage.svg, and change force_with_lease to force

Author: ImBIOS

.github/workflows/ci.yml

@@ -1,12 +1,12 @@
 name: CI
 
 on:
-# TODO: Make separate CI for direct push to master and PRs
-#  push:
-#    branches:
-#      - master
-#    paths-ignore:
-#      - "**/coverage.svg"
+  # TODO: Make separate CI for direct push to master and PRs
+  #  push:
+  #    branches:
+  #      - master
+  #    paths-ignore:
+  #      - "**/coverage.svg"
 
   pull_request_target:
     branches:
@@ -31,10 +31,10 @@ jobs:
       - name: Checkout 🛎️
         uses: actions/checkout@v4
 
-      - name: Setup Python 3.11 🐍
+      - name: Setup Python 3.13 🐍
         uses: actions/setup-python@v5
         with:
-          python-version: 3.11
+          python-version: 3.13
           cache: "pipenv"
 
       - name: Install pipenv
@@ -65,6 +65,8 @@ jobs:
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
+          git fetch origin ${{ github.head_ref }}
+          git merge origin/${{ github.head_ref }}
           git add coverage.svg
           git commit -m "Updated coverage.svg"
 
@@ -74,6 +76,7 @@ jobs:
         with:
           github_token: ${{ secrets.github_token }}
           branch: ${{ github.head_ref }}
+          force: true
 
       - name: Create Assets Folder 📥
         run: mkdir assets