From dfa75fb436354e5817fe404504ca53d843d03053 Mon Sep 17 00:00:00 2001
From: Daniel Siepmann <coding@daniel-siepmann.de>
Date: Thu, 7 Jan 2021 09:49:20 +0100
Subject: [PATCH] Fix broken CI due to unwanted PHP update

Force specific PHP version for all necessary CI steps.
---
 .github/workflows/ci.yaml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index eba8399..2ce6d09 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -34,6 +34,11 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Install PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: "7.3"
+
       - name: Get Composer Cache Directory
         id: composer-cache
         run: |
@@ -61,6 +66,11 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Install PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: "7.3"
+
       - name: Install xmllint
         run: sudo apt-get install libxml2-utils
 
@@ -102,6 +112,11 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Install PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: "7.3"
+
       - name: Get Composer Cache Directory
         id: composer-cache
         run: |
@@ -216,6 +231,11 @@ jobs:
     steps:
       - uses: actions/checkout@v2
 
+      - name: Install PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: "7.3"
+
       - name: Get Composer Cache Directory
         id: composer-cache
         run: |