summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2021-03-19 23:08:32 +0100
committerGitHub <noreply@github.com>2021-03-19 15:08:32 -0700
commit0209d15ffdaff2d83ec1fcc4ff72fdbe54471005 (patch)
treebd257c6de8f2f97feb98e627ce325a68cae3a1fa /.github/workflows
parent4c57c88d9e4c0e0ad45c93e0e0253a94f41e084f (diff)
downloadspack-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/workflows')
-rw-r--r--.github/workflows/unit_tests.yaml8
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