Avoid multiple commits in the same branch/PR from running at the same time
Add this at workflow level, before jobs, in every workflow
# cancel any previously-started, yet still active runs of this workflow on the same branch
concurrency:
group: ${{ github.ref }}-${{ github.workflow }}
cancel-in-progress: true
You can do this in the extra credit slides later
.github
repo (not as D.R.Y.)