Merge branch 'peaceiris:main' into main

This commit is contained in:
Arnaud Levy 2025-05-24 11:19:30 +02:00 committed by GitHub
commit 2d9aa0e6ae
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -52,4 +52,4 @@ jobs:
name: coverage-${{ matrix.os }} name: coverage-${{ matrix.os }}
path: coverage path: coverage
- uses: codecov/codecov-action@v4 - uses: codecov/codecov-action@v5