ci(Linux): add libkrb5-dev [skip ci]

This commit is contained in:
Baptiste Augrain 2024-02-22 09:14:43 +01:00
parent aebe54143c
commit 8d023eb88b

View file

@ -147,6 +147,9 @@ jobs:
run: ./install_gh.sh run: ./install_gh.sh
if: env.SHOULD_DEPLOY == 'yes' if: env.SHOULD_DEPLOY == 'yes'
- name: Install libkrb5-dev
run: sudo apt-get install -y libkrb5-dev
- name: Check existing VSCodium tags/releases - name: Check existing VSCodium tags/releases
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}