elicitation/.github/workflows/ci.yml at e615e91e2a78d4047fb25bb26ebc58871f2ee85e · crumplecup/elicitation · 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
name: CI

on:
  push:
    branches: [main]
  workflow_dispatch:

env:
  CARGO_TERM_COLOR: always
  RUST_BACKTRACE: 1

jobs:
  # All platforms: fmt + clippy only (proves cross-platform compilation)
  lint:
    name: Lint (${{ matrix.os }})
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        include:
          - os: ubuntu-latest
            extra_exclude: ""
          - os: windows-latest
            # proj-sys requires sqlite3 executable for cmake build
            extra_exclude: "--exclude elicit_proj"
          - os: macos-latest
            extra_exclude: ""

    steps:
      - uses: actions/checkout@v4

      - name: Install system dependencies (Ubuntu)
        if: matrix.os == 'ubuntu-latest'
        run: |
          sudo apt-get update -q
          sudo apt-get install -y libasound2-dev libudev-dev

      - name: Install system dependencies (macOS)
        if: matrix.os == 'macos-latest'
        run: brew install proj

      - name: Install system dependencies (Windows)
        if: matrix.os == 'windows-latest'
        run: choco install sqlite --no-progress -y

      - name: Install Rust stable
        uses: dtolnay/rust-toolchain@stable
        with:
          components: rustfmt, clippy

      - name: Cache cargo
        uses: Swatinem/rust-cache@v2
        with:
          key: lint-${{ matrix.os }}-${{ hashFiles('Cargo.lock') }}

      - name: Check formatting
        run: cargo fmt --all -- --check

      - name: Clippy
        run: cargo clippy --workspace --all-targets --exclude elicitation_creusot --exclude elicitation_kani ${{ matrix.extra_exclude }} -- -D warnings

      - name: Doc check
        env:
          RUSTDOCFLAGS: "-D warnings"
        run: cargo doc --workspace --no-deps --exclude elicitation_creusot --exclude elicitation_kani ${{ matrix.extra_exclude }}

  # Ubuntu only: test elicitation_derive (fast, no heavy deps).
  test-derive:
    name: Test derive and macros
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4

      - name: Install system dependencies
        run: |
          sudo apt-get update -q
          sudo apt-get install -y libasound2-dev libudev-dev

      - name: Install Rust stable
        uses: dtolnay/rust-toolchain@stable

      - name: Cache cargo
        uses: Swatinem/rust-cache@v2
        with:
          key: test-derive-ubuntu-${{ hashFiles('Cargo.lock') }}

      - name: Test elicitation_derive
        run: |
          cargo test -p elicitation_derive
          cargo test -p elicitation_derive --features "chrono,time,jiff,uuid,url"

  # Ubuntu only: elicitation split by feature group to stay within runner memory/disk limits.
  # Heavy GUI/GPU features (bevy-types, wgpu-types, egui-winit-types, winit-types) are
  # excluded from core CI and tested via satellite.yml on demand.
  test-elicitation:
    name: Test elicitation (${{ matrix.group }})
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        include:
          - group: core
            features: "--no-default-features"
            sys_deps: "libasound2-dev libudev-dev"

          - group: datetime-scalar
            features: >-
              --no-default-features
              --features chrono,time,jiff,uuid,url,regex,rand,serde,serde_json,emit,graph
            sys_deps: "libasound2-dev libudev-dev"

          - group: storage
            features: >-
              --no-default-features
              --features csv-types,toml-types,redb-types
            sys_deps: "libasound2-dev libudev-dev"

          - group: network
            features: >-
              --no-default-features
              --features reqwest,url,clap-types,sqlx-types,axum-types,tower-types,leptos-types
            sys_deps: "libasound2-dev libudev-dev"

          - group: geo
            features: >-
              --no-default-features
              --features geo-types,geo,proj-types,rstar-types,geojson-types,wkt-types,wkb-types,georaster-types,serde_json
            sys_deps: "libasound2-dev libudev-dev libproj-dev"

          - group: analytics
            features: >-
              --no-default-features
              --features polars-types,uom-types,uuid,chrono,serde_json,geo-types
            sys_deps: "libasound2-dev libudev-dev"

          - group: ui-light
            features: >-
              --no-default-features
              --features ratatui,egui-types,accesskit,palette
            sys_deps: "libasound2-dev libudev-dev"

    steps:
      - uses: actions/checkout@v4

      - name: Install system dependencies
        run: |
          sudo apt-get update -q
          sudo apt-get install -y ${{ matrix.sys_deps }}

      - name: Install Rust stable
        uses: dtolnay/rust-toolchain@stable

      - name: Cache cargo
        uses: Swatinem/rust-cache@v2
        with:
          key: test-elicitation-${{ matrix.group }}-ubuntu-${{ hashFiles('Cargo.lock') }}

      - name: Test elicitation (${{ matrix.group }})
        run: cargo test -p elicitation ${{ matrix.features }}