CI: Fix PR cleanup --nobuild

2026-06-07 19:01:54 -07:00 · 2025-11-29 22:16:49 +01:00
parent aee16c1855
commit ca80bb68d9
1 changed files with 1 additions and 1 deletions
@@ -15,7 +15,7 @@ jobs:
            exit
          fi
          if ${{ !!github.event.pull_request }} ; then
-            SHOULD_REINDEX=${{ github.event.pull_request.action == 'closed' }}
+            SHOULD_REINDEX=${{ github.event.action == 'closed' }}
          else
            echo "What?"
            exit 1