Skip to content

Commit b7fb730

Browse files
ia0ia0
authored
Only run the test-suite with Miri (#142)
1 parent e59adf6 commit b7fb730

File tree

2 files changed

+139
-3
lines changed

2 files changed

+139
-3
lines changed

‎.github/workflows/ci.yml‎

Lines changed: 138 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,9 @@ jobs:
2929
- run: rustup install nightly
3030
- run: rustup component add --toolchain=nightly clippy miri rustfmt
3131
- run: cargo +nightly install cargo-audit --locked
32+
- name: cd lib/v3 && cargo +nightly fmt -- --check
33+
run: cargo +nightly fmt -- --check
34+
working-directory: lib/v3
3235
- name: cd lib && cargo +nightly fmt -- --check
3336
run: cargo +nightly fmt -- --check
3437
working-directory: lib
@@ -53,6 +56,9 @@ jobs:
5356
- name: cd www && cargo +nightly fmt -- --check
5457
run: cargo +nightly fmt -- --check
5558
working-directory: www
59+
- name: cd lib/v3 && cargo +nightly clippy -- --deny=warnings
60+
run: cargo +nightly clippy -- --deny=warnings
61+
working-directory: lib/v3
5662
- name: cd lib && cargo +nightly clippy -- --deny=warnings
5763
run: cargo +nightly clippy -- --deny=warnings
5864
working-directory: lib
@@ -76,6 +82,24 @@ jobs:
7682
RUSTFLAGS: --cfg=fuzzing
7783
run: cargo +nightly clippy -- --deny=warnings
7884
working-directory: lib/fuzz
85+
- name: cd lib/v3 && cargo +nightly build
86+
run: cargo +nightly build
87+
working-directory: lib/v3
88+
- name: cd lib/v3 && cargo +nightly build --release
89+
run: cargo +nightly build --release
90+
working-directory: lib/v3
91+
- name: cd lib/v3 && cargo +nightly build --no-default-features --features=alloc
92+
run: cargo +nightly build --no-default-features --features=alloc
93+
working-directory: lib/v3
94+
- name: cd lib/v3 && cargo +nightly build --release --no-default-features --features=alloc
95+
run: cargo +nightly build --release --no-default-features --features=alloc
96+
working-directory: lib/v3
97+
- name: cd lib/v3 && cargo +nightly build --no-default-features
98+
run: cargo +nightly build --no-default-features
99+
working-directory: lib/v3
100+
- name: cd lib/v3 && cargo +nightly build --release --no-default-features
101+
run: cargo +nightly build --release --no-default-features
102+
working-directory: lib/v3
79103
- name: cd lib && cargo +nightly build
80104
run: cargo +nightly build
81105
working-directory: lib
@@ -129,6 +153,9 @@ jobs:
129153
- name: cd www && cargo +nightly build
130154
run: cargo +nightly build
131155
working-directory: www
156+
- name: cd lib/v3 && cargo +nightly test
157+
run: cargo +nightly test
158+
working-directory: lib/v3
132159
- name: cd lib && cargo +nightly test
133160
run: cargo +nightly test
134161
working-directory: lib
@@ -154,18 +181,32 @@ jobs:
154181
- name: cd www && cargo +nightly test
155182
run: cargo +nightly test
156183
working-directory: www
184+
- name: cd lib/v3 && cargo +nightly doc
185+
env:
186+
RUSTDOCFLAGS: --deny=warnings
187+
run: cargo +nightly doc
188+
working-directory: lib/v3
157189
- name: cd lib && cargo +nightly doc
158190
env:
159191
RUSTDOCFLAGS: --deny=warnings
160192
run: cargo +nightly doc
161193
working-directory: lib
162-
- name: cd lib && cargo +nightly miri test
163-
run: cargo +nightly miri test
194+
- name: cd lib/v3 && cargo +nightly miri test --test=lib
195+
run: cargo +nightly miri test --test=lib
196+
working-directory: lib/v3
197+
- name: cd lib && cargo +nightly miri test --test=lib
198+
run: cargo +nightly miri test --test=lib
164199
working-directory: lib
200+
- name: cd lib/v3 && cargo +nightly bench
201+
run: cargo +nightly bench
202+
working-directory: lib/v3
165203
- name: cd lib && cargo +nightly bench
166204
run: cargo +nightly bench
167205
working-directory: lib
168206
- run: cd bin && ./bench.sh +nightly
207+
- name: cd lib/v3 && cargo +nightly audit --deny=warnings
208+
run: cargo +nightly audit --deny=warnings
209+
working-directory: lib/v3
169210
- name: cd lib && cargo +nightly audit --deny=warnings
170211
run: cargo +nightly audit --deny=warnings
171212
working-directory: lib
@@ -192,6 +233,24 @@ jobs:
192233
working-directory: www
193234
- run: rustup install stable
194235
- run: cargo +stable install cargo-semver-checks --locked
236+
- name: cd lib/v3 && cargo +stable build
237+
run: cargo +stable build
238+
working-directory: lib/v3
239+
- name: cd lib/v3 && cargo +stable build --release
240+
run: cargo +stable build --release
241+
working-directory: lib/v3
242+
- name: cd lib/v3 && cargo +stable build --no-default-features --features=alloc
243+
run: cargo +stable build --no-default-features --features=alloc
244+
working-directory: lib/v3
245+
- name: cd lib/v3 && cargo +stable build --release --no-default-features --features=alloc
246+
run: cargo +stable build --release --no-default-features --features=alloc
247+
working-directory: lib/v3
248+
- name: cd lib/v3 && cargo +stable build --no-default-features
249+
run: cargo +stable build --no-default-features
250+
working-directory: lib/v3
251+
- name: cd lib/v3 && cargo +stable build --release --no-default-features
252+
run: cargo +stable build --release --no-default-features
253+
working-directory: lib/v3
195254
- name: cd lib && cargo +stable build
196255
run: cargo +stable build
197256
working-directory: lib
@@ -228,6 +287,9 @@ jobs:
228287
- name: cd bin && cargo +stable build --release
229288
run: cargo +stable build --release
230289
working-directory: bin
290+
- name: cd lib/v3 && cargo +stable semver-checks check-release
291+
run: cargo +stable semver-checks check-release
292+
working-directory: lib/v3
231293
- name: cd lib && cargo +stable semver-checks check-release
232294
run: cargo +stable semver-checks check-release
233295
working-directory: lib
@@ -277,6 +339,25 @@ jobs:
277339
working-directory: lib/macro
278340
- run: cd lib/macro && rm Cargo.lock
279341
- run: cd lib/macro && mv Cargo.lock.backup Cargo.lock
342+
- run: rustup install 1.85
343+
- name: cd lib/v3 && cargo +1.85 build
344+
run: cargo +1.85 build
345+
working-directory: lib/v3
346+
- name: cd lib/v3 && cargo +1.85 build --release
347+
run: cargo +1.85 build --release
348+
working-directory: lib/v3
349+
- name: cd lib/v3 && cargo +1.85 build --no-default-features --features=alloc
350+
run: cargo +1.85 build --no-default-features --features=alloc
351+
working-directory: lib/v3
352+
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features --features=alloc
353+
run: cargo +1.85 build --release --no-default-features --features=alloc
354+
working-directory: lib/v3
355+
- name: cd lib/v3 && cargo +1.85 build --no-default-features
356+
run: cargo +1.85 build --no-default-features
357+
working-directory: lib/v3
358+
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features
359+
run: cargo +1.85 build --release --no-default-features
360+
working-directory: lib/v3
280361
- id: after
281362
run: |
282363
LIST="$(cargo install --list)"
@@ -303,6 +384,24 @@ jobs:
303384
steps:
304385
- uses: actions/checkout@v4
305386
- run: rustup install nightly
387+
- name: cd lib/v3 && cargo +nightly build
388+
run: cargo +nightly build
389+
working-directory: lib/v3
390+
- name: cd lib/v3 && cargo +nightly build --release
391+
run: cargo +nightly build --release
392+
working-directory: lib/v3
393+
- name: cd lib/v3 && cargo +nightly build --no-default-features --features=alloc
394+
run: cargo +nightly build --no-default-features --features=alloc
395+
working-directory: lib/v3
396+
- name: cd lib/v3 && cargo +nightly build --release --no-default-features --features=alloc
397+
run: cargo +nightly build --release --no-default-features --features=alloc
398+
working-directory: lib/v3
399+
- name: cd lib/v3 && cargo +nightly build --no-default-features
400+
run: cargo +nightly build --no-default-features
401+
working-directory: lib/v3
402+
- name: cd lib/v3 && cargo +nightly build --release --no-default-features
403+
run: cargo +nightly build --release --no-default-features
404+
working-directory: lib/v3
306405
- name: cd lib && cargo +nightly build
307406
run: cargo +nightly build
308407
working-directory: lib
@@ -340,6 +439,24 @@ jobs:
340439
run: cargo +nightly build --release
341440
working-directory: bin
342441
- run: rustup install stable
442+
- name: cd lib/v3 && cargo +stable build
443+
run: cargo +stable build
444+
working-directory: lib/v3
445+
- name: cd lib/v3 && cargo +stable build --release
446+
run: cargo +stable build --release
447+
working-directory: lib/v3
448+
- name: cd lib/v3 && cargo +stable build --no-default-features --features=alloc
449+
run: cargo +stable build --no-default-features --features=alloc
450+
working-directory: lib/v3
451+
- name: cd lib/v3 && cargo +stable build --release --no-default-features --features=alloc
452+
run: cargo +stable build --release --no-default-features --features=alloc
453+
working-directory: lib/v3
454+
- name: cd lib/v3 && cargo +stable build --no-default-features
455+
run: cargo +stable build --no-default-features
456+
working-directory: lib/v3
457+
- name: cd lib/v3 && cargo +stable build --release --no-default-features
458+
run: cargo +stable build --release --no-default-features
459+
working-directory: lib/v3
343460
- name: cd lib && cargo +stable build
344461
run: cargo +stable build
345462
working-directory: lib
@@ -419,6 +536,25 @@ jobs:
419536
working-directory: lib/macro
420537
- run: cd lib/macro && rm Cargo.lock
421538
- run: cd lib/macro && mv Cargo.lock.backup Cargo.lock
539+
- run: rustup install 1.85
540+
- name: cd lib/v3 && cargo +1.85 build
541+
run: cargo +1.85 build
542+
working-directory: lib/v3
543+
- name: cd lib/v3 && cargo +1.85 build --release
544+
run: cargo +1.85 build --release
545+
working-directory: lib/v3
546+
- name: cd lib/v3 && cargo +1.85 build --no-default-features --features=alloc
547+
run: cargo +1.85 build --no-default-features --features=alloc
548+
working-directory: lib/v3
549+
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features --features=alloc
550+
run: cargo +1.85 build --release --no-default-features --features=alloc
551+
working-directory: lib/v3
552+
- name: cd lib/v3 && cargo +1.85 build --no-default-features
553+
run: cargo +1.85 build --no-default-features
554+
working-directory: lib/v3
555+
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features
556+
run: cargo +1.85 build --release --no-default-features
557+
working-directory: lib/v3
422558
concurrency:
423559
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
424560
group: ci-${{ github.ref }}

‎xtask/src/main.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -126,7 +126,7 @@ impl Action {
126126
(Task::Clippy, _) => &["--", "--deny=warnings"],
127127
(Task::Build, Dir::Nostd) => &["--release"],
128128
(Task::Test, Dir::Fuzz) => &["--lib"],
129-
(Task::Miri, _) => &["test"],
129+
(Task::Miri, _) => &["test", "--test=lib"],
130130
(Task::SemverChecks, _) => &["check-release"],
131131
(Task::Audit, _) => &["--deny=warnings"],
132132
_ => &[],

0 commit comments

Comments
 (0)