From 0209d15ffdaff2d83ec1fcc4ff72fdbe54471005 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Fri, 19 Mar 2021 23:08:32 +0100 Subject: CI: treat push to develop in the same way as PRs (#22421) --- .github/workflows/unit_tests.yaml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to '.github/workflows/unit_tests.yaml') 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 -- cgit v1.2.3-60-g2f50