kerndat: check_pagemap: reword retried case explanation #3108

	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

Provide feedback