Skip to content

Commit 1088ae1

Browse files
committed
github: Add workflows miri_dev
1 parent 4e5d496 commit 1088ae1

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed

.github/workflows/miri_dev.yml

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
name: miri_dev
2+
3+
on:
4+
workflow_dispatch:
5+
schedule: [cron: "20 */6 * * *"]
6+
7+
env:
8+
CARGO_TERM_COLOR: always
9+
10+
jobs:
11+
build_and_test:
12+
13+
runs-on: ubuntu-latest
14+
15+
steps:
16+
- uses: actions/checkout@v2
17+
with:
18+
ref: dev
19+
20+
- name: install miri
21+
run: rustup component add --toolchain nightly-x86_64-unknown-linux-gnu miri
22+
23+
- name: Run miri tests without log (tokio multi thread)
24+
run: scripts/miri.sh

0 commit comments

Comments
 (0)