You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
37 lines
1.1 KiB
37 lines
1.1 KiB
name: Error numbers |
|
on: |
|
pull_request: |
|
paths: |
|
- '.github/workflows/errno.yml' |
|
- 'lib/libc/minimal/include/errno.h' |
|
- 'scripts/ci/errno.py' |
|
|
|
permissions: |
|
contents: read |
|
|
|
jobs: |
|
check-errno: |
|
runs-on: ubuntu-24.04 |
|
container: |
|
image: ghcr.io/zephyrproject-rtos/ci:v0.28.0 |
|
|
|
steps: |
|
- name: Apply container owner mismatch workaround |
|
run: | |
|
# FIXME: The owner UID of the GITHUB_WORKSPACE directory may not |
|
# match the container user UID because of the way GitHub |
|
# Actions runner is implemented. Remove this workaround when |
|
# GitHub comes up with a fundamental fix for this problem. |
|
git config --global --add safe.directory ${GITHUB_WORKSPACE} |
|
|
|
- name: checkout |
|
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 |
|
|
|
- name: Environment Setup |
|
run: | |
|
echo "ZEPHYR_SDK_INSTALL_DIR=/opt/toolchains/zephyr-sdk-$( cat SDK_VERSION )" >> $GITHUB_ENV |
|
|
|
- name: Run errno.py |
|
run: | |
|
export ZEPHYR_BASE=${PWD} |
|
./scripts/ci/errno.py
|
|
|