chore: test ci

Author: fgdorais

.github/workflows/update-toolchain.yml

@@ -17,11 +17,19 @@ jobs:
       - name: install jq
         uses: dcarbone/install-jq-action@v3
 
-      - name: update lean-toolchain
+      - name: get toolchain tags
         id: toolchain-tag
         run: |
-          LEAN_TAG=$(curl -s "https://api.github.com/repos/leanprover/lean4/releases" | jq -r '.[0].tag_name')
+          REPO_TAG=$(sed 's/.*://1' lean-toolchain | tr -d '\n')
+          LEAN_TAG=$(curl -s "https://api.github.com/repos/leanprover/lean4/releases" | jq -r '.[0].tag_name' | tr -d '\n')
+          echo "repo_tag=$REPO_TAG" >> $GITHUB_OUTPUT
           echo "lean_tag=$LEAN_TAG" >> $GITHUB_OUTPUT
+
+      - name: update toolchain
+        id: mk
+        if: ${{ steps.toolchain-tag.outputs.lean_tag != steps.toolchain-tag.outputs.repo_tag }}
+        run: |
+          git merge nightly
           echo "leanprover/lean4:$LEAN_TAG" > lean-toolchain
 
       - name: create pull request

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.25.0-rc2
+leanprover/lean4:v4.25.0-rc1