From 3fa4efffb0dd3b7ebd82d2096deecb5dd7f8c8fc Mon Sep 17 00:00:00 2001
From: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Date: Sun, 31 Dec 2023 11:14:50 +0000
Subject: [PATCH] Install ripgrep using the system package manager

---
 .github/workflows/rustc.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index cb5dd51fee31..8085dc58263c 100644
--- a/.github/workflows/rustc.yml
+++ b/.github/workflows/rustc.yml
@@ -43,6 +43,11 @@ jobs:
         path: build/cg_clif
         key: ${{ runner.os }}-cargo-build-target-${{ hashFiles('rust-toolchain', '**/Cargo.lock') }}
 
+    - name: Install ripgrep
+      run: |
+        sudo apt update
+        sudo apt install -y ripgrep
+
     - name: Prepare dependencies
       run: ./y.sh prepare