Codecov does not receive a report when merging with develop

[henrikjacobsenfys]

This means every PR gets the same message from codecov which looks like this:

Please upload report for BASE (develop@6540464). 

I investigated this a bit more. It looks like squash and merge does not trigger codecov, so we never upload a report for the develop branch after merging a PR.

neutro recommends the following solution (in .github/workflos/coverage.yml)

Replace your current on: block with this

on:
  push:
    branches:
      - develop
  pull_request:
  workflow_dispatch:

Replace your current concurrency: block with this

concurrency:
  group: >
    ${{ github.event_name == 'pull_request'
        && format('{0}-pr-{1}', github.workflow, github.event.pull_request.number)
        || format('{0}-push-{1}', github.workflow, github.ref_name) }}
  cancel-in-progress: ${{ github.event_name == 'pull_request' }}

[henrikjacobsenfys]

I tested further, running the coverage workflow manually after merging with develop fixes it, so we know the root cause