diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index ccbe0635..6df4e3d4 100644 --- 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