[Bug]: CI should not cancel the build on push

[vgvassilev]

Description of bug

We should have something like:

  # Avoids canceling push to main of the same commit (github.sha) but will
  # cancel running builds when you update the source branch of a PR.
  group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref_name }}-${{ github.event.number || github.sha }}
  cancel-in-progress: true

According to stackoverflow this won't cancel merged PRs while it will cancel a push to a PR branch...

What operating system was you using when the bug occured?

No response

What is the architechture of the cpu on your system?

No response

What did you build CppInterOp against?

No response