crossfire 3.1.10

channels for async and threads
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

name: miri-dev

on:
  workflow_dispatch:
  schedule: [cron: "20 */7 * * *"]

env:
  CARGO_TERM_COLOR: always

jobs:
  test_tokio:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2
      with:
          ref: dev

    - name: install specified nightly toolchain
      run: rustup toolchain install nightly-2025-12-01

    - name: install miri component to specified nightly
      run: rustup component add miri --toolchain nightly-2025-12-01

    - name: Run miri tests without log (tokio multi thread)
      run: cd test-suite; NIGHTLY_VERSION=nightly-2025-12-01 scripts/miri.sh -F tokio,time

    - name: Run miri tests without log (tokio current thread)
      run: cd test-suite; SINGLE_THREAD_RUNTIME=1 NIGHTLY_VERSION=nightly-2025-12-01 scripts/miri.sh -F tokio