mirror of
https://github.com/checkpoint-restore/criu.git
synced 2026-01-23 02:14:37 +00:00
0c52399322
This patch adds concurrency groups to the CI workflows to automatically cancel any in-progress workflows when a pull request has been updated. A `concurrency` group allows to ensure that a single job or workflow will run at a time. For example, when a pull request is updated with a force-push, the GiHub CI workflows currently in-progress will be automatically cancelled, and the CI would run only with the updated commits. https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency Signed-off-by: Radostin Stoyanov <rstoyanov@fedoraproject.org>
40 lines
1.1 KiB
YAML
40 lines
1.1 KiB
YAML
name: Run code linter
|
|
|
|
on: [push, pull_request]
|
|
|
|
# Cancel any preceding run on the pull request.
|
|
concurrency:
|
|
group: lint-test-${{ github.event.pull_request.number || github.ref }}
|
|
cancel-in-progress: ${{ github.ref != 'refs/heads/criu-dev' }}
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
container:
|
|
image: registry.fedoraproject.org/fedora:latest
|
|
steps:
|
|
- name: Install tools
|
|
run: sudo dnf -y install git make python3-flake8 xz clang-tools-extra which codespell git-clang-format ShellCheck
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- name: Set git safe directory
|
|
# https://github.com/actions/checkout/issues/760
|
|
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
|
|
|
|
- name: Run make lint
|
|
run: make lint
|
|
|
|
- name: Run make indent
|
|
run: >
|
|
if [ -z "${{github.base_ref}}" ]; then
|
|
git fetch --deepen=1 &&
|
|
if ! make indent OPTS=--diff; then
|
|
exit 1
|
|
fi
|
|
else
|
|
git fetch origin ${{github.base_ref}} &&
|
|
if ! make indent OPTS=--diff BASE=origin/${{github.base_ref}}; then
|
|
exit 1
|
|
fi
|
|
fi
|