GitHub: cancel jobs for previous pushes of PR

This takes over two more settings we have in the lnd repo. The first is
to cancel existing CI runs for the same PR if it is pushed again before
the previous run has completed.

The second is just for consistency, to make sure all shells are bash
shells.
This commit is contained in:
Oliver Gugger 2025-01-23 10:15:43 +01:00
parent 2f72da0490
commit 415e589c63
No known key found for this signature in database
GPG key ID: 8E4256593F177720

View file

@ -8,6 +8,15 @@ on:
branches:
- "*"
concurrency:
# Cancel any previous workflows if they are from a PR or push.
group: ${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
defaults:
run:
shell: bash
env:
# If you change this value, please change it in the following files as well:
# /Dockerfile