From 78175fc128c4437797ed54e4b52e4954fc913f78 Mon Sep 17 00:00:00 2001
From: Pol Dellaiera <pol.dellaiera@protonmail.com>
Date: Sat, 26 Mar 2022 17:55:15 +0100
Subject: [PATCH] Allow failure on PHP 72.

---
 .github/workflows/build.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index e0066a6..4578d16 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -83,6 +83,7 @@ jobs:
         run: nix build .#${{ matrix.php }}.extensions.tidy
 
       - name: Check that composer PHAR works
+        continue-on-error: ${{ matrix.php == matrix.allow-failure }}
         run: |
           nix develop --impure --expr '
             let
@@ -99,6 +100,7 @@ jobs:
           ' -c composer --version
 
       - name: Validate php.extensions.mysqli default unix socket path
+        continue-on-error: ${{ matrix.php == matrix.allow-failure }}
         run: |
           nix develop --impure --expr '
             let
@@ -116,6 +118,7 @@ jobs:
           ' -c php -r "echo ini_get('mysqli.default_socket') . PHP_EOL;" | grep /run/mysqld/mysqld.sock
 
       - name: Validate php.extensions.pdo_mysql default unix socket path
+        continue-on-error: ${{ matrix.php == matrix.allow-failure }}
         run: |
           nix develop --impure --expr '
             let