diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-19 23:08:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-19 15:08:32 -0700 |
| commit | 0209d15ffdaff2d83ec1fcc4ff72fdbe54471005 (patch) | |
| tree | bd257c6de8f2f97feb98e627ce325a68cae3a1fa /.github | |
| parent | 4c57c88d9e4c0e0ad45c93e0e0253a94f41e084f (diff) | |
| download | spack-0209d15ffdaff2d83ec1fcc4ff72fdbe54471005.tar.gz spack-0209d15ffdaff2d83ec1fcc4ff72fdbe54471005.tar.bz2 spack-0209d15ffdaff2d83ec1fcc4ff72fdbe54471005.tar.xz spack-0209d15ffdaff2d83ec1fcc4ff72fdbe54471005.zip | |
CI: treat push to develop in the same way as PRs (#22421)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/unit_tests.yaml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/.github/workflows/unit_tests.yaml b/.github/workflows/unit_tests.yaml index 262cc4a7ec..3161bc15e1 100644 --- a/.github/workflows/unit_tests.yaml +++ b/.github/workflows/unit_tests.yaml @@ -98,14 +98,12 @@ jobs: # setting environment variables from earlier steps: https://docs.github.com/en/actions/reference/workflow-commands-for-github-actions#setting-an-environment-variable # - id: coverage - # Run the subsequent jobs with coverage if this is a PR and core has been modified - # or if this workflow is triggered by a push event (this means that once a PR is - # merged we'll perform a full run with CI on develop even though the PR was only - # modifying packages) + # Run the subsequent jobs with coverage if core has been modified, + # regardless of whether this is a pull request or a push to a branch run: | echo Core changes: ${{ steps.filter.outputs.core }} echo Event name: ${{ github.event_name }} - if [ "${{ steps.filter.outputs.core }}" == "true" ] || [ "${{ github.event_name }}" == 'push' ] + if [ "${{ steps.filter.outputs.core }}" == "true" ] then echo "::set-output name=with_coverage::true" else |