From f834c19bbdef5d80ffaf5c359563a4b363baf878 Mon Sep 17 00:00:00 2001
From: Kenneth Geisshirt <kenneth.geisshirt@mongodb.com>
Date: Thu, 9 Jun 2022 17:02:44 +0200
Subject: [PATCH] Use older ninja

---
 .github/workflows/integration-tests.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/integration-tests.yml b/.github/workflows/integration-tests.yml
index 642adfddb3..18788e5575 100644
--- a/.github/workflows/integration-tests.yml
+++ b/.github/workflows/integration-tests.yml
@@ -244,6 +244,8 @@ jobs:
           node-version: 14
           registry-url: https://registry.npmjs.org/
       - uses: seanmiddleditch/gha-setup-ninja@master
+        with:
+          version: 1.8.2
       - name: Install npm v7
         run: npm install -g npm@7
       # Setup tools