Skip to content

Commit a7ddce5

Browse files
committed
ci: disable miri for now
It seems to hang on everything. I can't figure it out.
1 parent 9db5584 commit a7ddce5

File tree

1 file changed

+11
-11
lines changed

1 file changed

+11
-11
lines changed

.github/workflows/ci.yml

+11-11
Original file line numberDiff line numberDiff line change
@@ -98,14 +98,14 @@ jobs:
9898
- name: Check formatting
9999
run: cargo fmt --check
100100

101-
miri:
102-
name: miri
103-
runs-on: ubuntu-latest
104-
steps:
105-
- name: Checkout repository
106-
uses: actions/checkout@v3
107-
- name: Install Rust
108-
uses: dtolnay/rust-toolchain@miri
109-
- run: cargo miri test --lib --verbose
110-
env:
111-
MIRIFLAGS: -Zmiri-strict-provenance
101+
# miri:
102+
# name: miri
103+
# runs-on: ubuntu-latest
104+
# steps:
105+
# - name: Checkout repository
106+
# uses: actions/checkout@v3
107+
# - name: Install Rust
108+
# uses: dtolnay/rust-toolchain@miri
109+
# - run: cargo miri test --lib --verbose
110+
# env:
111+
# MIRIFLAGS: -Zmiri-strict-provenance

0 commit comments

Comments
 (0)