1name: Error numbers
2on:
3  pull_request:
4    paths:
5      - '.github/workflows/errno.yml'
6      - 'lib/libc/minimal/include/errno.h'
7      - 'scripts/ci/errno.py'
8
9jobs:
10  check-errno:
11    runs-on: ubuntu-22.04
12    container:
13      image: ghcr.io/zephyrproject-rtos/ci:v0.26.13
14
15    steps:
16      - name: Apply container owner mismatch workaround
17        run: |
18          # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not
19          #        match the container user UID because of the way GitHub
20          #        Actions runner is implemented. Remove this workaround when
21          #        GitHub comes up with a fundamental fix for this problem.
22          git config --global --add safe.directory ${GITHUB_WORKSPACE}
23
24      - name: checkout
25        uses: actions/checkout@v4
26
27      - name: Environment Setup
28        run: |
29          echo "ZEPHYR_SDK_INSTALL_DIR=/opt/toolchains/zephyr-sdk-$( cat SDK_VERSION )" >> $GITHUB_ENV
30
31      - name: Run errno.py
32        run: |
33          export ZEPHYR_BASE=${PWD}
34          ./scripts/ci/errno.py
35