Merge branch 'main' into feature/named_revisions

This commit is contained in:
Elian Doran
2026-04-18 19:41:14 +03:00
committed by GitHub

View File

@@ -21,7 +21,7 @@ jobs:
runs-on: ubuntu-latest
permissions:
contents: read
pull-requests: read
pull-requests: write
issues: read
id-token: write