mirror of
https://github.com/checkpoint-restore/criu
synced 2025-08-22 01:51:51 +00:00
d165b94bb5
criu_run_id will be used in upcoming changes to create and remove network rules for network locking. Instead of trying to come up with a way to create unique IDs, just use an existing library. libuuid should be installed on most systems as it is indirectly required by systemd (via libmount). Signed-off-by: Adrian Reber <areber@redhat.com>
31 lines
1.3 KiB
YAML
31 lines
1.3 KiB
YAML
name: Verify self-contained commits
|
|
|
|
on: pull_request
|
|
|
|
# Cancel any preceding run on the pull request
|
|
concurrency:
|
|
group: commit-test-${{ github.event.pull_request.number }}
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
# Check if pull request does not have label "not-selfcontained-ok"
|
|
if: "!contains(github.event.pull_request.labels.*.name, 'not-selfcontained-ok')"
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
with:
|
|
# Needed to rebase against the base branch
|
|
fetch-depth: 0
|
|
# Checkout pull request HEAD commit instead of merge commit
|
|
ref: ${{ github.event.pull_request.head.sha }}
|
|
- name: Install dependencies
|
|
run: sudo scripts/ci/apt-install libprotobuf-dev libprotobuf-c-dev protobuf-c-compiler protobuf-compiler python3-protobuf libnl-3-dev libnet-dev libcap-dev uuid-dev
|
|
- name: Configure git user details
|
|
run: |
|
|
git config --global user.email "checkpoint-restore@users.noreply.github.com"
|
|
git config --global user.name "checkpoint-restore"
|
|
- name: Configure base branch without switching current branch
|
|
run: git fetch origin ${{ github.base_ref }}:${{ github.base_ref }}
|
|
- name: Build each commit
|
|
run: git rebase ${{ github.base_ref }} -x "make -C scripts/ci check-commit"
|