miri_tokio_log.yml

name: miri-tokio-log

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

env:
  CARGO_TERM_COLOR: always

jobs:
  build_and_test:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2

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

    - name: install miri
      run: rustup component add miri --toolchain nightly-2025-12-01
      #run:  rustup component add --toolchain nightly-x86_64-unknown-linux-gnu miri

    - name: Run miri tests with log (tokio multi thread)
      run: cd test-suite; NIGHTLY_VERSION=nightly-2025-12-01 WORKFLOW=1 scripts/miri.sh --features trace_log,tokio

    - name: collect log
      if: ${{ failure() }}
      uses: actions/upload-artifact@v4
      with:
          name: crossfire_miri_tokio_multithread
          path: /tmp/crossfire_miri.log