From 4318e21563e8f8aabd1a3a5a2ba139a483bbab8b Mon Sep 17 00:00:00 2001
From: Charles Fulton <fultonc@lafayette.edu>
Date: Wed, 16 Apr 2025 15:28:57 -0400
Subject: [PATCH] MDL-85226 gha: Pin mongodb extension version

---
 .github/workflows/push.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 3379ba497bd..fa5ad464f98 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -65,6 +65,7 @@ jobs:
             extensions:
             db: mysqli
           - os: ubuntu-22.04
+            extensions: mongodb-1.19.4
             php: 8.1
             db: pgsql