Merge branch 'master' into joerg-ci

This commit is contained in:
mergify[bot] 2024-07-08 11:11:23 +00:00 committed by GitHub
commit ad378cf38e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -17,7 +17,7 @@ jobs:
with:
github_access_token: ${{ secrets.GITHUB_TOKEN }}
- name: Update flake.lock
uses: DeterminateSystems/update-flake-lock@v22
uses: DeterminateSystems/update-flake-lock@v23
with:
pr-body: |
Automated changes by the update-flake-lock