| name: Error numbers |
| on: |
| pull_request: |
| paths: |
| - '.github/workflows/errno.yml' |
| - 'lib/libc/minimal/include/errno.h' |
| - 'scripts/ci/errno.py' |
| |
| jobs: |
| check-errno: |
| runs-on: ubuntu-20.04 |
| container: |
| image: ghcr.io/zephyrproject-rtos/ci:v0.24.2 |
| env: |
| ZEPHYR_SDK_INSTALL_DIR: /opt/toolchains/zephyr-sdk-0.15.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@v2 |
| |
| - name: Run errno.py |
| run: | |
| export ZEPHYR_BASE=${PWD} |
| ./scripts/ci/errno.py |