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