drgn/.github
Omar Sandoval 9ee9877727 CI: cancel previous runs when PR is force-pushed
This way, older versions don't block the queue for newer versions and
contributors get faster feedback on their latest version.

Based on
https://docs.github.com/en/actions/using-jobs/using-concurrency#example-using-a-fallback-value

Signed-off-by: Omar Sandoval <osandov@osandov.com>
2023-01-27 11:29:02 -08:00
..
workflows CI: cancel previous runs when PR is force-pushed 2023-01-27 11:29:02 -08:00