Merge pull request #3292 from davidhewitt/valgrind-build-full

ci: run valgrind and careful with 'CI-build-full' label
This commit is contained in:
messense 2023-07-04 02:53:11 +00:00 committed by GitHub
commit 849b699946
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -254,7 +254,7 @@ jobs:
extra-features: "multiple-pymethods"
valgrind:
if: ${{ github.event_name != 'pull_request' && github.ref != 'refs/heads/main' }}
if: ${{ contains(github.event.pull_request.labels.*.name, 'CI-build-full') || (github.event_name != 'pull_request' && github.ref != 'refs/heads/main') }}
needs: [fmt]
runs-on: ubuntu-latest
steps:
@ -274,7 +274,7 @@ jobs:
TRYBUILD: overwrite
careful:
if: ${{ github.event_name != 'pull_request' && github.ref != 'refs/heads/main' }}
if: ${{ contains(github.event.pull_request.labels.*.name, 'CI-build-full') || (github.event_name != 'pull_request' && github.ref != 'refs/heads/main') }}
needs: [fmt]
runs-on: ubuntu-latest
steps: