inkreas.ing
Realtime safe, waitfree, concurrency library
add rust-src to components
+1
-1
+1
-1
.tangled/workflows/checks.yaml
+1
-1
.tangled/workflows/checks.yaml
···
15
15
16
16
steps:
17
17
- name: "install rust with miri"
18
-
command: "rustup toolchain install nightly -c miri --profile minimal"
18
+
command: "rustup toolchain install nightly -c miri,rust-src --profile minimal"
19
19
- name: "run regular tests"
20
20
command: "cargo test"
21
21
- name: "run mutants"