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.4
14    env:
15      ZEPHYR_SDK_INSTALL_DIR: /opt/toolchains/zephyr-sdk-0.16.1
16
17    steps:
18      - name: Apply container owner mismatch workaround
19        run: |
20          # FIXME: The owner UID of the GITHUB_WORKSPACE directory may not
21          #        match the container user UID because of the way GitHub
22          #        Actions runner is implemented. Remove this workaround when
23          #        GitHub comes up with a fundamental fix for this problem.
24          git config --global --add safe.directory ${GITHUB_WORKSPACE}
25
26      - name: checkout
27        uses: actions/checkout@v3
28
29      - name: Run errno.py
30        run: |
31          export ZEPHYR_BASE=${PWD}
32          ./scripts/ci/errno.py
33