enable publish

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index bb0413e97e808db93a25fd3296d1d637174361f4..9aff7fb1459de1efbf301e7131574121509f87a5 100644 (file)
--- 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: