+21
Diff
round #0
+21
.tangled/workflows/miri.yml
+21
.tangled/workflows/miri.yml
···
1
+
when:
2
+
- event: ["push", "pull_request"]
3
+
branch: main
4
+
5
+
engine: nixery
6
+
7
+
dependencies:
8
+
nixpkgs:
9
+
- clang
10
+
- rustup
11
+
12
+
steps:
13
+
- name: Install Nightly
14
+
command: |
15
+
rustup toolchain install nightly --component miri
16
+
rustup override set nightly
17
+
cargo miri setup
18
+
- name: Miri Test
19
+
command: cargo miri test --locked -p nailkov -p nailbox
20
+
environment:
21
+
RUSTFLAGS: -Zrandomize-layout
History
1 round
0 comments
expand 0 comments
pull request successfully merged