@@ -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