prevent concurrent coverage reports

This commit is contained in:
Gabriel Augendre 2024-10-30 16:35:52 +01:00
parent 7f2b12beab
commit ed98e56f00
No known key found for this signature in database
GPG key ID: 0073D1CD7EC5A253

View file

@ -33,6 +33,8 @@ jobs:
name: coverage name: coverage
permissions: permissions:
contents: write contents: write
concurrency:
group: coverage
runs-on: ubuntu-latest runs-on: ubuntu-latest
needs: [build] needs: [build]
steps: steps: