From 8d023eb88bd92abc9fc87730a68bcaa8036142ad Mon Sep 17 00:00:00 2001
From: Baptiste Augrain <daiyam@zokugun.org>
Date: Thu, 22 Feb 2024 09:14:43 +0100
Subject: [PATCH] ci(Linux): add libkrb5-dev [skip ci]

---
 .github/workflows/insider-linux.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/insider-linux.yml b/.github/workflows/insider-linux.yml
index d4c6929..3451ef8 100644
--- a/.github/workflows/insider-linux.yml
+++ b/.github/workflows/insider-linux.yml
@@ -147,6 +147,9 @@ jobs:
         run: ./install_gh.sh
         if: env.SHOULD_DEPLOY == 'yes'
 
+      - name: Install libkrb5-dev
+        run: sudo apt-get install -y libkrb5-dev
+
       - name: Check existing VSCodium tags/releases
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}