co3 0.4.0

Build C API from Rust
Documentation 
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

name: CI

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

permissions:
  contents: read

concurrency:
  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
  cancel-in-progress: true

jobs:
  static-analysis:
    runs-on: ubuntu-latest
    timeout-minutes: 5

    steps:
    - uses: actions/checkout@v7
    - uses: dtolnay/rust-toolchain@stable
      with:
        components: rustfmt, clippy
    - uses: Swatinem/rust-cache@v2

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

    - name: Check documentation
      env:
        RUSTDOCFLAGS: -D warnings
      run: cargo doc --workspace --no-deps

    - name: Lint workspace
      run: cargo clippy --workspace --benches --tests --examples -- --deny warnings

    - name: Lint workspace (no default features)
      run: cargo clippy --workspace --benches --tests --examples --no-default-features -- --deny warnings

    - name: Lint workspace (alloc only)
      run: cargo clippy --workspace --benches --tests --examples --no-default-features --features alloc -- --deny warnings

    - name: Lint workspace (derive only)
      run: cargo clippy --workspace --benches --tests --examples --no-default-features --features derive -- --deny warnings

  #allocator-api:
  #  runs-on: ubuntu-latest
  #  timeout-minutes: 5

  #  steps:
  #  - uses: actions/checkout@v7
  #  - uses: dtolnay/rust-toolchain@nightly
  #    with:
  #      components: clippy
  #  - uses: Swatinem/rust-cache@v2
  #    with:
  #      key: allocator-api

  #  - name: Lint workspace
  #    run: cargo +nightly clippy --workspace --benches --tests --examples --features allocator-api -- --deny warnings --allow unused-features

  #  - name: Lint workspace (alloc only)
  #    run: cargo +nightly clippy --workspace --benches --tests --examples --no-default-features --features allocator-api,alloc -- --deny warnings --allow unused-features

  #  - name: Lint workspace (derive only)
  #    run: cargo +nightly clippy --workspace --benches --tests --examples --no-default-features --features allocator-api,derive -- --deny warnings --allow unused-features

  test:
    runs-on: ${{ matrix.os }}
    timeout-minutes: 5

    strategy:
      matrix:
        os: [ubuntu-latest, macos-latest, windows-latest]

    steps:
    - uses: actions/checkout@v7
    - uses: dtolnay/rust-toolchain@stable
      with:
        components: rust-src
    - uses: Swatinem/rust-cache@v2
      with:
        key: test-${{ matrix.os }}

    - name: Run Tests
      env:
        RUSTFLAGS: -D warnings
      run: cargo test --workspace

  miri:
    runs-on: ubuntu-latest
    timeout-minutes: 15

    steps:
    - uses: actions/checkout@v7
    - uses: dtolnay/rust-toolchain@nightly
      with:
        components: miri
    - uses: Swatinem/rust-cache@v2
      with:
        key: miri

    - name: Prepare Miri
      run: cargo miri setup

    - name: Run Miri with leak checking
      run: |
        cargo miri test --all-features --lib -- \
          --skip tests::encode_stored_mut_box_allows_pointer_replacement
        cargo miri test --all-features --test export

    # Stable opaque types use ZST stand-ins. These tests form Rust references to those stand-ins
    # before passing their pointers back to the provider. Stacked Borrows rejects the resulting
    # zero-byte-to-full-allocation access; Tree Borrows, which has no subobject provenance, accepts
    # it. Rust's final aliasing rules for this pattern are not yet settled.
    - name: Run ABI integration tests under Tree Borrows
      env:
        MIRIFLAGS: -Zmiri-tree-borrows
      run: cargo miri test --all-features --test abi

    - name: Run known leak case with leak checking disabled
      env:
        MIRIFLAGS: -Zmiri-ignore-leaks
      run: cargo miri test --all-features --lib tests::encode_stored_mut_box_allows_pointer_replacement -- --exact

  wasm-test:
    runs-on: ubuntu-latest
    timeout-minutes: 10

    steps:
      - uses: actions/checkout@v7
      - uses: dtolnay/rust-toolchain@stable
        with:
          targets: wasm32-wasip1
      - uses: Swatinem/rust-cache@v2

      - name: Install wasmtime
        run: |
          curl -fsSL https://wasmtime.dev/install.sh | bash
          echo "$HOME/.wasmtime/bin" >> $GITHUB_PATH

      - name: Run Tests (WASIp1)
        # `trybuild` invokes Cargo for each fixture, which WASI cannot support.
        run: cargo test --workspace --target wasm32-wasip1 --lib --test abi --test export --test import