mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 13:04:46 +08:00
Cancel old mypy_primer builds (#8873)
This commit is contained in:
10
.github/workflows/mypy_primer.yml
vendored
10
.github/workflows/mypy_primer.yml
vendored
@@ -9,13 +9,17 @@ on:
|
||||
- '.github/workflows/mypy_primer.yml'
|
||||
- '.github/workflows/mypy_primer_comment.yml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
|
||||
cancel-in-progress: true
|
||||
|
||||
permissions:
|
||||
contents: read
|
||||
|
||||
jobs:
|
||||
mypy_primer:
|
||||
name: Run
|
||||
if: github.actor != 'pre-commit-ci[bot]'
|
||||
runs-on: ubuntu-latest
|
||||
permissions:
|
||||
contents: read
|
||||
strategy:
|
||||
matrix:
|
||||
shard-index: [0, 1, 2, 3]
|
||||
|
||||
1
.github/workflows/mypy_primer_comment.yml
vendored
1
.github/workflows/mypy_primer_comment.yml
vendored
@@ -14,6 +14,7 @@ permissions:
|
||||
jobs:
|
||||
comment:
|
||||
name: Comment PR from mypy_primer
|
||||
if: ${{ github.event.workflow_run.conclusion == 'success' }}
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Download diffs
|
||||
|
||||
Reference in New Issue
Block a user