From e1eca79e3b05d17899ae0eec293c5762c99c0480 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 27 Jan 2022 16:08:51 +0100
Subject: [PATCH] enable publish

---
 .github/workflows/publish.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index bb0413e..9aff7fb 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -78,7 +78,7 @@ jobs:
             ../bin/ref2stub ../refs/$ext
           done
       - uses: crazy-max/ghaction-github-pages@v2
-        if: false
+        if: success()
         env:
           GH_PAT: ${{ secrets.PUBLISH_SECRET }}
         with:
-- 
2.30.2