RK0/.github/workflows/ci.yml at main · antoniogiacomelli/RK0 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
name: CI

on:
  push:
    branches: [main]
    paths-ignore:
      - 'README.md'
      - 'CHANGELOG.md'
      - 'LICENSE'
      - 'docbook/**'
      - '**/*.md'
  pull_request:
    branches: [main]
    paths-ignore:
      - 'README.md'
      - 'CHANGELOG.md'
      - 'LICENSE'
      - 'docbook/**'
      - '**/*.md'
  workflow_dispatch:

permissions:
  contents: read

concurrency:
  group: ci-${{ github.ref }}
  cancel-in-progress: true

jobs:
  qemu-private-tests:
    name: QEMU Private Tests (macOS, armv7m -> armv6m)
    runs-on: [self-hosted, macOS]
    timeout-minutes: 80
    if: ${{ github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository }}

    steps:
      - name: Checkout
        uses: actions/checkout@v4

      - name: Validate runner toolchain
        run: |
          set -euo pipefail
          command -v qemu-system-arm
          command -v arm-none-eabi-gcc

      - name: Link private tests/qemu into workspace
        env:
          PRIVATE_QEMU_HARNESS_DIR: ${{ vars.PRIVATE_QEMU_HARNESS_DIR }}
          PRIVATE_QEMU_TESTS_DIR: ${{ vars.PRIVATE_QEMU_TESTS_DIR }}
        run: |
          set -euo pipefail
          HARNESS_SRC_RAW="${PRIVATE_QEMU_HARNESS_DIR:-${PRIVATE_QEMU_TESTS_DIR:-/Users/antonio/private-rk0-harness/qemu}}"
          HARNESS_SRC="${HARNESS_SRC_RAW#PRIVATE_QEMU_HARNESS_DIR=}"
          HARNESS_SRC="${HARNESS_SRC#PRIVATE_QEMU_TESTS_DIR=}"
          HARNESS_SRC="$(printf '%s' "${HARNESS_SRC}" | tr -d '\r\n' | sed -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//')"

          if [[ ! -d "${HARNESS_SRC}" ]]; then
            echo "::error::Private harness path not found: ${HARNESS_SRC}"
            echo "Set repo variable PRIVATE_QEMU_HARNESS_DIR (or PRIVATE_QEMU_TESTS_DIR) to your local private qemu directory on the runner host."
            exit 1
          fi

          if [[ ! -x "${HARNESS_SRC}/scripts/qemu/run_unit_tests.sh" ]]; then
            echo "::error::Missing executable script: ${HARNESS_SRC}/scripts/qemu/run_unit_tests.sh"
            exit 1
          fi

          if [[ ! -x "${HARNESS_SRC}/scripts/qemu/run_scheduler_tests.sh" ]]; then
            echo "::error::Missing executable script: ${HARNESS_SRC}/scripts/qemu/run_scheduler_tests.sh"
            exit 1
          fi

          mkdir -p tests scripts
          rm -rf tests/qemu
          rm -rf scripts/qemu
          ln -s "${HARNESS_SRC}" tests/qemu
          ln -s "${HARNESS_SRC}/scripts/qemu" scripts/qemu
          ls -la tests
          ls -la scripts

      - name: Run QEMU unit tests
        env:
          ARCH: armv7m
          BUILD: DEBUG
          QEMU_TEST_TIMEOUT: 12
        run: |
          set -euo pipefail
          ./scripts/qemu/run_unit_tests.sh \
            kversion kmem kmrm ksema kmutex kscheduler \
            kmesgq kport ktaskevents ksleepq ktimer kasr

      - name: Run scheduler conformance test
        env:
          ARCH: armv7m
          BUILD: DEBUG
          QEMU_TEST_TIMEOUT: 12
        run: |
          set -euo pipefail
          ./scripts/qemu/run_scheduler_tests.sh

      - name: Run QEMU unit tests (armv6m)
        env:
          ARCH: armv6m
          BUILD: DEBUG
          QEMU_TEST_TIMEOUT: 12
        run: |
          set -euo pipefail
          ./scripts/qemu/run_unit_tests.sh \
            kversion kmem kmrm ksema kmutex kscheduler \
            kmesgq kport ktaskevents ksleepq ktimer kasr

      - name: Run scheduler conformance test (armv6m)
        env:
          ARCH: armv6m
          BUILD: DEBUG
          QEMU_TEST_TIMEOUT: 12
        run: |
          set -euo pipefail
          ./scripts/qemu/run_scheduler_tests.sh

      - name: Upload QEMU logs
        if: always()
        uses: actions/upload-artifact@v4
        with:
          name: qemu-logs-armv7m-armv6m-${{ github.run_number }}
          if-no-files-found: warn
          path: |
            build/**/qemu-tests/*.log
            test.log
            unitests.log