Merge pull request #9 from nsarlin-zama/rebase_version_on_main

test fetch

.github/workflows/on_merge.yml

@@ -17,6 +17,7 @@ jobs:
       - name: Get branch for the latest version
         run: |
           echo hello
+          git fetch --all --prune
           echo $(git for-each-ref --format='%(refname:short)' refs/heads)
           echo $(git for-each-ref --format='%(refname:short)' refs/heads | grep -Po '^v\d.\d(.\d)?$')
           echo $(git for-each-ref --format='%(refname:short)' refs/heads | grep -Po '^v\d.\d(.\d)?$' | sort -V | tail -n 1)