Production builds get interrupted by PR builds

[strogonoff]

Can we allow production builds to continue to completion?

[ronaldtse]

@strogonoff there is this section in the build workflow definition:

concurrency:
  group: ${{ github.workflow }}-${{ github.head_ref || github.ref_name }}
  cancel-in-progress: true

You would want to define a good "group" and see if you need cancel-in-progress. Typically for build of pages we cancel in progress builds because it will be replaced immediately later by the subsequent build.

[strogonoff]

I don’t know the details of this standard development process so I don’t know what’s the right solution. I just think we don’t need to deploy to GHP from branches/PRs, and main branch builds should be priority.

And also if we merge the caching PR then this would be less of an issue.

[strogonoff]

Caching PR: #290

(I think we should make sure cache is shared between branches for best efficiency.)