build: try to speed up Github workflows (#12090)

This commit is contained in:
Jesse Yang
2021-01-07 00:47:00 -08:00
committed by GitHub
parent bcb8db621c
commit f48284909d
15 changed files with 503 additions and 247 deletions

20
.github/workflows/cancel_duplicates.yml vendored Normal file
View File

@@ -0,0 +1,20 @@
name: Cancel Duplicates
on:
workflow_run:
workflows: ["CI"]
types: ["requested"]
jobs:
cancel-duplicate-workflow-runs:
name: "Cancel duplicate workflow runs"
runs-on: ubuntu-latest
steps:
- uses: apache-superset/cancel-workflow-runs@953e057
name: "Cancel duplicate workflow runs"
with:
cancelMode: duplicates
cancelFutureDuplicates: true
token: ${{ secrets.GITHUB_TOKEN }}
sourceRunId: ${{ github.event.workflow_run.id }}
notifyPRCancel: true
skipEventTypes: '["push", "pull_request", "pull_request_target"]'