ci: Change behavior when auto-update failed

FormalizedFormalLogic · Dec 31, 2024 · 64d34e7 · 64d34e7
1 parent 5d7d34c
commit 64d34e7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -19,4 +19,3 @@ jobs:
       - uses: oliver-butterley/lean-update@v1-alpha
         with:
           on_update_succeeds: pr
-          on_update_fails: issue