Merge branch 'main' into v0.8

This commit is contained in:
raf 2025-09-02 16:49:01 +03:00 committed by Ching Pei Yang
commit 0246376cdd
No known key found for this signature in database
GPG key ID: B3841364253DC4C8
8 changed files with 28 additions and 23 deletions

View file

@ -14,7 +14,7 @@ jobs:
runs-on: ubuntu-latest
if: "!contains(github.event.pull_request.title, '[skip ci]')"
steps:
- uses: actions/labeler@v5
- uses: actions/labeler@v6
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
configuration-path: .github/labels.yml