ioprio: Use IOPRIO_PRIO_NUM to check prio range #781
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # SPDX-License-Identifier: GPL-2.0-or-later | |
| # Copyright (c) Linux Test Project, 2021 | |
| name: "Mirror doc to wiki" | |
| on: | |
| push: | |
| branches: | |
| - master | |
| permissions: {} | |
| jobs: | |
| mirror: | |
| permissions: | |
| contents: write # for git push | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository == 'linux-test-project/ltp' }} | |
| steps: | |
| - name: Checkout LTP | |
| uses: actions/checkout@v2 | |
| with: | |
| path: ltp | |
| - name: Checkout LTP wiki | |
| uses: actions/checkout@v2 | |
| with: | |
| repository: "linux-test-project/ltp.wiki" | |
| path: ltp.wiki | |
| - name: Copy files, push | |
| run: | | |
| git config --global user.email "actions@github.com" | |
| git config --global user.name "Wiki mirror" | |
| dir="$GITHUB_WORKSPACE/ltp/doc/" | |
| cd $dir | |
| commit=$(git log --pretty=format:"%h (\"%s\")" -1 .) | |
| cd $GITHUB_WORKSPACE/ltp.wiki | |
| # Don't forget to update this list, keep it sorted | |
| cp -v $dir/c-test-api.txt C-Test-API.asciidoc | |
| cp -v $dir/c-test-tutorial-simple.txt C-Test-Case-Tutorial.asciidoc | |
| cp -v $dir/library-api-writing-guidelines.txt LTP-Library-API-Writing-Guidelines.asciidoc | |
| cp -v $dir/maintainer-patch-review-checklist.txt Maintainer-Patch-Review-Checklist.asciidoc | |
| cp -v $dir/network-c-api.txt C-Test-Network-API.asciidoc | |
| cp -v $dir/shell-test-api.txt Shell-Test-API.asciidoc | |
| cp -v $dir/supported-kernel-libc-versions.txt Supported-kernel,-libc,-toolchain-versions.asciidoc | |
| cp -v $dir/test-writing-guidelines.txt Test-Writing-Guidelines.asciidoc | |
| cp -v $dir/user-guide.txt User-Guidelines.asciidoc | |
| cp -v $dir/kvm-test-api.txt KVM-Test-API.asciidoc | |
| git add . | |
| # only commit if there are changes | |
| git diff-index --quiet HEAD -- || git commit -m "Update to $commit" . | |
| git push |