message: Don't build all release artifacts on every pull request commit.
  Github actions resource allowance is limited, so skip building all
  artifacts in pull reqeuests. The checks and tests shall be sufficient
  for now.
diff: @@ -160,6 +160,9 @@ jobs:
  Build:
  needs: Matrix
  runs-on: ubuntu-20.04
  + # Github actions resources are limited; don't build artifacts for all
  + # platforms on every pull request, only on push.
  + if: ${{github.event_name == 'push'}}
  strategy:
  fail-fast: false
  matrix:
  