From 3299efc0987499d468693a3aa5c7e9d5548c4525 Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@gmail.com>
Date: Sun, 15 Sep 2024 12:10:58 +0200
Subject: [PATCH] Try a fix for the setup-php-sdk issue

---
 .github/workflows/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/config.yml b/.github/workflows/config.yml
index f5df58c..14e7c25 100644
--- a/.github/workflows/config.yml
+++ b/.github/workflows/config.yml
@@ -49,7 +49,7 @@ jobs:
         uses: actions/checkout@v4
       - name: Setup PHP
         id: setup-php
-        uses: php/setup-php-sdk@v0.9
+        uses: php/setup-php-sdk@1248285eaa27e8fe99a03ad2108cf062669ac3f4
         with:
           version: ${{matrix.version}}
           arch: ${{matrix.arch}}