diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f3d657d..286f9db 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -309,58 +309,58 @@ jobs: run: | bash ci/miri_tb_bounded.sh ${{ matrix.target }} ${{ matrix.cfg }} - miri-tb-unbounded: - name: miri-tb-unbounded-${{ matrix.target }}-${{ matrix.cfg }} - strategy: - matrix: - os: - - ubuntu-latest - # - macos-latest - target: - - x86_64-unknown-linux-gnu - - i686-unknown-linux-gnu - - powerpc64-unknown-linux-gnu - - x86_64-apple-darwin - - aarch64-apple-darwin - cfg: - - generic_insert - - generic_iters - - generic_get - - generic_constructor - - dynamic_insert - - dynamic_iters - - dynamic_get - - dynamic_constructor - # Exclude invalid combinations - exclude: - - os: ubuntu-latest - target: x86_64-apple-darwin - - os: ubuntu-latest - target: aarch64-apple-darwin - # - os: macos-latest - # target: x86_64-unknown-linux-gnu - # - os: macos-latest - # target: i686-unknown-linux-gnu - # - os: macos-latest - # target: powerpc64-unknown-linux-gnu - runs-on: ${{ matrix.os }} - steps: - - uses: actions/checkout@v4 - - name: Cache cargo build and registry - uses: actions/cache@v4 - with: - path: | - ~/.cargo/registry - ~/.cargo/git - target - key: ${{ runner.os }}-miri-${{ hashFiles('**/Cargo.lock') }} - restore-keys: | - ${{ runner.os }}-miri- - - name: Install cargo-hack - run: cargo install cargo-hack - - name: Miri - run: | - bash ci/miri_tb_unbounded.sh ${{ matrix.target }} ${{ matrix.cfg }} + # miri-tb-unbounded: + # name: miri-tb-unbounded-${{ matrix.target }}-${{ matrix.cfg }} + # strategy: + # matrix: + # os: + # - ubuntu-latest + # # - macos-latest + # target: + # - x86_64-unknown-linux-gnu + # - i686-unknown-linux-gnu + # - powerpc64-unknown-linux-gnu + # - x86_64-apple-darwin + # - aarch64-apple-darwin + # cfg: + # - generic_insert + # - generic_iters + # - generic_get + # - generic_constructor + # - dynamic_insert + # - dynamic_iters + # - dynamic_get + # - dynamic_constructor + # # Exclude invalid combinations + # exclude: + # - os: ubuntu-latest + # target: x86_64-apple-darwin + # - os: ubuntu-latest + # target: aarch64-apple-darwin + # # - os: macos-latest + # # target: x86_64-unknown-linux-gnu + # # - os: macos-latest + # # target: i686-unknown-linux-gnu + # # - os: macos-latest + # # target: powerpc64-unknown-linux-gnu + # runs-on: ${{ matrix.os }} + # steps: + # - uses: actions/checkout@v4 + # - name: Cache cargo build and registry + # uses: actions/cache@v4 + # with: + # path: | + # ~/.cargo/registry + # ~/.cargo/git + # target + # key: ${{ runner.os }}-miri-${{ hashFiles('**/Cargo.lock') }} + # restore-keys: | + # ${{ runner.os }}-miri- + # - name: Install cargo-hack + # run: cargo install cargo-hack + # - name: Miri + # run: | + # bash ci/miri_tb_unbounded.sh ${{ matrix.target }} ${{ matrix.cfg }} # valgrind valgrind: