mirror of
https://github.com/kata-containers/kata-containers.git
synced 2025-10-21 20:08:54 +00:00
fbc2a91ab5
Let's make sure we cancel previous runs, mainly as we have some of those that take a lot of time to run, whenever the PR is updated. This is based on the following stack overflow suggestion: https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre This is very much needed as we don't want to wait for a long time to have access to a runner because of other runners are still being used performing a task that's meaningless due to the PR update. Fixes: #7298 Signed-off-by: Fabiano Fidêncio <fabiano.fidencio@intel.com>
45 lines
1.2 KiB
YAML
45 lines
1.2 KiB
YAML
# Copyright (c) 2022 Intel Corporation
|
|
#
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
#
|
|
|
|
name: Add PR sizing label
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
- reopened
|
|
- synchronize
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
add-pr-size-label:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout code
|
|
uses: actions/checkout@v1
|
|
|
|
- name: Install PR sizing label script
|
|
run: |
|
|
# Clone into a temporary directory to avoid overwriting
|
|
# any existing github directory.
|
|
pushd $(mktemp -d) &>/dev/null
|
|
git clone --single-branch --depth 1 "https://github.com/kata-containers/.github" && cd .github/scripts
|
|
sudo install pr-add-size-label.sh /usr/local/bin
|
|
popd &>/dev/null
|
|
|
|
- name: Add PR sizing label
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.KATA_GITHUB_ACTIONS_PR_SIZE_TOKEN }}
|
|
run: |
|
|
pr=${{ github.event.number }}
|
|
# Removing man-db, workflow kept failing, fixes: #4480
|
|
sudo apt -y remove --purge man-db
|
|
sudo apt -y install diffstat patchutils
|
|
|
|
pr-add-size-label.sh -p "$pr"
|