Merge develop

This commit is contained in:
Pieter Vander Vennet 2023-10-01 13:13:07 +02:00
commit 55c6442cac
388 changed files with 16178 additions and 17860 deletions

View file

@ -19,7 +19,7 @@ runs:
shell: bash
- name: REUSE compliance check
uses: fsfe/reuse-action@v2
uses: fsfe/reuse-action@952281636420dd0b691786c93e9d3af06032f138
- name: create generated dir
run: mkdir ./assets/generated

View file

@ -89,7 +89,7 @@ jobs:
env:
TARGET_BRANCH: ${{ env.TARGET_BRANCH }}
- uses: mshick/add-pr-comment@v1
- uses: mshick/add-pr-comment@a96c578acba98b60f16c6866d5f20478dc4ef68b
name: Comment the PR with the review URL
if: ${{ success() && github.ref != 'refs/heads/develop' && github.ref != 'refs/heads/master' }}
with: