Make sure that older builds get canceled when new changes are pushed to a PR:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
DARMA-tasking/workflows#17 (comment)
Also: use that issue to get rid of the dead links on the front page.
