From e23717a28a9c4368eb6183e35aef51a283c5d5a1 Mon Sep 17 00:00:00 2001 From: Baptiste Augrain Date: Fri, 16 Feb 2024 05:09:39 +0100 Subject: [PATCH] ci(linux): add missing lib [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 3bfc4c5..acb640b 100644 --- a/.github/workflows/insider-linux.yml +++ b/.github/workflows/insider-linux.yml @@ -72,6 +72,9 @@ jobs: with: python-version: '3.11' + - name: Install libkrb5-dev + run: sudo apt-get install -y libkrb5-dev + - name: Clone VSCode repo run: ./get_repo.sh