X-Git-Url: https://git.m6w6.name/?a=blobdiff_plain;ds=sidebyside;f=.github%2Fworkflows%2Fpublish.yml;h=bb0413e97e808db93a25fd3296d1d637174361f4;hb=a94ecb1009610a763dd74a7eebc4754b6643d832;hp=c39bdcbe446d395aeba047fbe6ba70869c621790;hpb=3e66985c3672ad3540b2e57db130bce31ed84abb;p=mdref%2Fmdref

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index c39bdcb..bb0413e 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -38,6 +38,9 @@ jobs:
           path: refs/raphf
       - name: Install dependencies
         run: |
+          v=8.0; for b in "" ize -config; do \
+            sudo update-alternatives --set php$b /usr/bin/php$b$v; \
+          done
           sudo apt-get update -y
           sudo apt-get install -y \
             php-cli \
@@ -65,7 +68,7 @@ jobs:
           composer install
       - name: Generate HTML
         run: |
-          mkdir html
+          mkdir -p html
           cd html
           ../bin/ref2html . ../refs/*
       - name: Generate STUBs
@@ -75,7 +78,7 @@ jobs:
             ../bin/ref2stub ../refs/$ext
           done
       - uses: crazy-max/ghaction-github-pages@v2
-        if: success()
+        if: false
         env:
           GH_PAT: ${{ secrets.PUBLISH_SECRET }}
         with:
@@ -86,5 +89,3 @@ jobs:
           build_dir: html
           repo: mdref/mdref.github.io
           fqdn: mdref.m6w6.name
-          dry_run: true
-