mirror of
https://github.com/lexmount/moli.git
synced 2026-09-28 16:01:39 +00:00
23 lines
626 B
YAML
23 lines
626 B
YAML
name: Cancel closed PR CI
|
|
|
|
on:
|
|
pull_request:
|
|
types: [closed]
|
|
|
|
# Concurrency groups are shared across workflows in the repository. Starting
|
|
# this lightweight run cancels the matching validation run without scheduling
|
|
# the full CI suite for a pull request that can no longer be merged.
|
|
concurrency:
|
|
group: ci-${{ github.event.pull_request.number }}
|
|
cancel-in-progress: true
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
cancel:
|
|
name: Cancel superseded validation
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Record cancellation
|
|
run: echo "Cancelled validation for closed PR #${{ github.event.pull_request.number }}."
|