mihon/.github/workflows/cancel_pull_request.yml

name: Cancel old pull request workflows

on:
  workflow_run:
    workflows: ["PR build check"]
    types:
      - requested

jobs:
  cancel:
    runs-on: ubuntu-latest
    steps:
    - uses: styfle/cancel-workflow-action@0.9.1
      with:
        all_but_latest: true
        workflow_id: ${{ github.event.workflow.id }}
[skip ci] Split push and PR build workflows so they don't cancel each other 2021-08-15 15:07:27 +00:00			`name: Cancel old pull request workflows`

			`on:`
			`workflow_run:`
			`workflows: ["PR build check"]`
			`types:`
			`- requested`

			`jobs:`
			`cancel:`
			`runs-on: ubuntu-latest`
			`steps:`
[skip ci] update workflow actions 2021-12-17 15:47:55 +00:00			`- uses: styfle/cancel-workflow-action@0.9.1`
[skip ci] Split push and PR build workflows so they don't cancel each other 2021-08-15 15:07:27 +00:00			`with:`
[skip ci] update workflow actions 2021-12-17 15:47:55 +00:00			`all_but_latest: true`
[skip ci] Split push and PR build workflows so they don't cancel each other 2021-08-15 15:07:27 +00:00			`workflow_id: ${{ github.event.workflow.id }}`