Skip to content

Commit 71c19ae

Browse files
authored
Remove miri CI stage (#72)
This is temporarily broken.
1 parent 2b21fbd commit 71c19ae

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

.github/workflows/test.yaml

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -25,13 +25,3 @@ jobs:
2525
steps:
2626
- uses: actions/checkout@v2
2727
- run: cargo fmt -- --check
28-
29-
miri:
30-
runs-on: ubuntu-latest
31-
steps:
32-
- uses: actions/checkout@v2
33-
- run: rustup toolchain install nightly
34-
- run: rustup default nightly
35-
- run: rustup component add miri
36-
- run: cargo install xargo
37-
- run: cargo +nightly miri test

0 commit comments

Comments
 (0)