Merge branch 'main' into develop

This commit is contained in:
Thomas Gruber 2024-12-20 20:27:48 +01:00 committed by GitHub
commit d2a38e3844
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -340,7 +340,7 @@ jobs:
- name: Install development packages - name: Install development packages
run: | run: |
apt update && apt --assume-yes upgrade apt update && apt --assume-yes upgrade
apt --assume-yes install build-essential sed git wget bash apt --assume-yes install build-essential sed git wget bash go
# Checkout git repository and submodules # Checkout git repository and submodules
# fetch-depth must be 0 to use git describe # fetch-depth must be 0 to use git describe
# See: https://github.com/marketplace/actions/checkout # See: https://github.com/marketplace/actions/checkout