aimdb/.github/workflows/ci.yml at main · aimdb-dev/aimdb · 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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
name: CI

on:
  push:
    branches: [ main, develop ]
  pull_request:
    branches: [ main, develop ]

env:
  CARGO_TERM_COLOR: always

jobs:
  # Format and lint using Makefile
  format-and-lint:
    name: Format and Lint
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v7
      with:
        submodules: recursive

    - name: Install Rust
      uses: dtolnay/rust-toolchain@stable
      with:
        targets: thumbv7em-none-eabihf, wasm32-unknown-unknown
        components: rustfmt, clippy

    - name: Cache dependencies
      uses: actions/cache@v6
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-format-${{ hashFiles('**/Cargo.lock') }}

    - name: Check formatting (workspace members only)
      run: make fmt-check

    - name: Run clippy on all valid feature combinations
      run: make clippy

  # Build and test using Makefile
  makefile-build:
    name: Build & Test
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v7
      with:
        submodules: recursive

    - name: Install Rust
      uses: dtolnay/rust-toolchain@stable
      with:
        targets: thumbv7em-none-eabihf, wasm32-unknown-unknown

    - name: Cache dependencies
      uses: actions/cache@v6
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-build-${{ hashFiles('**/Cargo.lock') }}

    - name: Build all valid feature combinations
      run: make build

    - name: Test all valid feature combinations
      run: make test

    - name: Check README quickstart drift
      run: make readme-check

    - name: Check codegen template drift
      run: make codegen-drift

    - name: Prove production is simulation-free
      run: make check-no-sim

  # Embedded target testing
  embedded-targets:
    name: Embedded Cross-compilation
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v7
      with:
        submodules: recursive

    - name: Install Rust
      uses: dtolnay/rust-toolchain@stable
      with:
        targets: thumbv7em-none-eabihf

    - name: Cache dependencies
      uses: actions/cache@v6
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-embedded-${{ hashFiles('**/Cargo.lock') }}

    - name: Test embedded cross-compilation
      run: make test-embedded

  # Miri: catches undefined behavior (e.g. use-after-free) in the embassy
  # adapter's unsafe 'static lifetime extension (design 039 F1). Scoped to
  # aimdb-embassy-adapter's host-std sync tests only — Miri is slow and can't
  # drive the embassy-executor async tests.
  miri:
    name: Miri (aimdb-embassy-adapter)
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v7
      with:
        submodules: recursive

    - name: Install Rust nightly with Miri
      uses: dtolnay/rust-toolchain@nightly
      with:
        components: miri

    - name: Cache dependencies
      uses: actions/cache@v6
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.lock') }}

    - name: Run Miri on aimdb-embassy-adapter
      run: |
        cargo +nightly miri test -p aimdb-embassy-adapter \
          --no-default-features --features "alloc,embassy-sync,embassy-time"

  # Comprehensive validation using Makefile
  comprehensive-check:
    name: Comprehensive Development Check
    runs-on: ubuntu-latest
    needs: [format-and-lint, makefile-build, embedded-targets]
    steps:
    - uses: actions/checkout@v7
      with:
        submodules: recursive

    - name: Install Rust
      uses: dtolnay/rust-toolchain@stable
      with:
        targets: thumbv7em-none-eabihf, wasm32-unknown-unknown
        components: rustfmt, clippy

    - name: Cache dependencies
      uses: actions/cache@v6
      with:
        path: |
          ~/.cargo/registry
          ~/.cargo/git
          target
        key: ${{ runner.os }}-cargo-comprehensive-${{ hashFiles('**/Cargo.lock') }}

    - name: Run comprehensive development check
      run: make check

    - name: Generate documentation
      run: make doc