From 5ab85e49726803f77cf7b49ae6c292166e9c5dc4 Mon Sep 17 00:00:00 2001 From: Baptiste Augrain Date: Mon, 19 Feb 2024 20:00:51 +0100 Subject: [PATCH] ci(linux): re-install libkrb5-dev [skip ci] --- .github/workflows/insider-linux.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/insider-linux.yml b/.github/workflows/insider-linux.yml index 12420da..7c9d5dd 100644 --- a/.github/workflows/insider-linux.yml +++ b/.github/workflows/insider-linux.yml @@ -90,8 +90,8 @@ jobs: # with: # python-version: '3.11' - # - name: Install libkrb5-dev - # run: sudo apt-get install -y libkrb5-dev + - name: Install libkrb5-dev + run: sudo apt-get install -y libkrb5-dev - name: Clone VSCode repo run: ./get_repo.sh