chore: upgrade update.yml

ImperialCollegeLondon · Feb 28, 2025 · b4db717 · b4db717
1 parent 17d7636
commit b4db717
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update-dependencies.yml → .github/workflows/update.yml b/.github/workflows/update-dependencies.yml → .github/workflows/update.yml
@@ -16,7 +16,7 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
       - name: Update project
-        uses: oliver-butterley/lean-update@v1-alpha
+        uses: Seasawher/lean-update@main
         with:
           on_update_succeeds: pr # Create a pull request if the update succeeds
           on_update_fails: issue # Create an issue if the update fails