ci(linux): re-install libkrb5-dev [skip ci]

This commit is contained in:
Baptiste Augrain 2024-02-19 20:00:51 +01:00
parent a54f8f25f5
commit 5ab85e4972

View File

@ -90,8 +90,8 @@ jobs:
# with: # with:
# python-version: '3.11' # python-version: '3.11'
# - name: Install libkrb5-dev - name: Install libkrb5-dev
# run: sudo apt-get install -y libkrb5-dev run: sudo apt-get install -y libkrb5-dev
- name: Clone VSCode repo - name: Clone VSCode repo
run: ./get_repo.sh run: ./get_repo.sh