workflow/publish: update to php-8.1 master
authorMichael Wallner <mike@php.net>
Sat, 21 Jan 2023 09:06:33 +0000 (10:06 +0100)
committerGitHub <noreply@github.com>
Sat, 21 Jan 2023 09:06:33 +0000 (10:06 +0100)
.github/workflows/publish.yml

index 9aff7fb1459de1efbf301e7131574121509f87a5..3ff010e04519e57ce4db97cab3e6ceb6a921d39b 100644 (file)
@@ -38,7 +38,7 @@ jobs:
           path: refs/raphf
       - name: Install dependencies
         run: |
           path: refs/raphf
       - name: Install dependencies
         run: |
-          v=8.0; for b in "" ize -config; do \
+          v=8.1; for b in "" ize -config; do \
             sudo update-alternatives --set php$b /usr/bin/php$b$v; \
           done
           sudo apt-get update -y
             sudo update-alternatives --set php$b /usr/bin/php$b$v; \
           done
           sudo apt-get update -y