move formatting from JS to PHP

[mdref/mdref] / .github / workflows / publish.yml

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 3d654741fce4f90d27e4411b6e550d168fb8cdd9..bb0413e97e808db93a25fd3296d1d637174361f4 100644 (file)
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -36,12 +36,11 @@ jobs:
         with:
           repository: mdref/mdref-raphf
           path: refs/raphf
-      - uses: actions/checkout@v2
-        with:
-          repository: mdref/mdref.github.io
-          path: html
       - 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 \
@@ -78,12 +77,8 @@ jobs:
           for ext in http pq; do
             ../bin/ref2stub ../refs/$ext
           done
-      - name: Show changes
-        run: |
-          cd html
-          git diff
       - uses: crazy-max/ghaction-github-pages@v2
-        if: success()
+        if: false
         env:
           GH_PAT: ${{ secrets.PUBLISH_SECRET }}
         with:
@@ -94,5 +89,3 @@ jobs:
           build_dir: html
           repo: mdref/mdref.github.io
           fqdn: mdref.m6w6.name
-          dry_run: true
-