Skip to content

Only run the test-suite with Miri #142

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ia0 merged 1 commit into from
May 17, 2025
Merged

Only run the test-suite with Miri #142

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
140 changes: 138 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,9 @@ jobs:
- run: rustup install nightly
- run: rustup component add --toolchain=nightly clippy miri rustfmt
- run: cargo +nightly install cargo-audit --locked
- name: cd lib/v3 && cargo +nightly fmt -- --check
run: cargo +nightly fmt -- --check
working-directory: lib/v3
- name: cd lib && cargo +nightly fmt -- --check
run: cargo +nightly fmt -- --check
working-directory: lib
Expand All @@ -53,6 +56,9 @@ jobs:
- name: cd www && cargo +nightly fmt -- --check
run: cargo +nightly fmt -- --check
working-directory: www
- name: cd lib/v3 && cargo +nightly clippy -- --deny=warnings
run: cargo +nightly clippy -- --deny=warnings
working-directory: lib/v3
- name: cd lib && cargo +nightly clippy -- --deny=warnings
run: cargo +nightly clippy -- --deny=warnings
working-directory: lib
Expand All @@ -76,6 +82,24 @@ jobs:
RUSTFLAGS: --cfg=fuzzing
run: cargo +nightly clippy -- --deny=warnings
working-directory: lib/fuzz
- name: cd lib/v3 && cargo +nightly build
run: cargo +nightly build
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release
run: cargo +nightly build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --no-default-features --features=alloc
run: cargo +nightly build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release --no-default-features --features=alloc
run: cargo +nightly build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --no-default-features
run: cargo +nightly build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release --no-default-features
run: cargo +nightly build --release --no-default-features
working-directory: lib/v3
- name: cd lib && cargo +nightly build
run: cargo +nightly build
working-directory: lib
Expand Down Expand Up @@ -129,6 +153,9 @@ jobs:
- name: cd www && cargo +nightly build
run: cargo +nightly build
working-directory: www
- name: cd lib/v3 && cargo +nightly test
run: cargo +nightly test
working-directory: lib/v3
- name: cd lib && cargo +nightly test
run: cargo +nightly test
working-directory: lib
Expand All @@ -154,18 +181,32 @@ jobs:
- name: cd www && cargo +nightly test
run: cargo +nightly test
working-directory: www
- name: cd lib/v3 && cargo +nightly doc
env:
RUSTDOCFLAGS: --deny=warnings
run: cargo +nightly doc
working-directory: lib/v3
- name: cd lib && cargo +nightly doc
env:
RUSTDOCFLAGS: --deny=warnings
run: cargo +nightly doc
working-directory: lib
- name: cd lib && cargo +nightly miri test
run: cargo +nightly miri test
- name: cd lib/v3 && cargo +nightly miri test --test=lib
run: cargo +nightly miri test --test=lib
working-directory: lib/v3
- name: cd lib && cargo +nightly miri test --test=lib
run: cargo +nightly miri test --test=lib
working-directory: lib
- name: cd lib/v3 && cargo +nightly bench
run: cargo +nightly bench
working-directory: lib/v3
- name: cd lib && cargo +nightly bench
run: cargo +nightly bench
working-directory: lib
- run: cd bin && ./bench.sh +nightly
- name: cd lib/v3 && cargo +nightly audit --deny=warnings
run: cargo +nightly audit --deny=warnings
working-directory: lib/v3
- name: cd lib && cargo +nightly audit --deny=warnings
run: cargo +nightly audit --deny=warnings
working-directory: lib
Expand All @@ -192,6 +233,24 @@ jobs:
working-directory: www
- run: rustup install stable
- run: cargo +stable install cargo-semver-checks --locked
- name: cd lib/v3 && cargo +stable build
run: cargo +stable build
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release
run: cargo +stable build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --no-default-features --features=alloc
run: cargo +stable build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release --no-default-features --features=alloc
run: cargo +stable build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --no-default-features
run: cargo +stable build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release --no-default-features
run: cargo +stable build --release --no-default-features
working-directory: lib/v3
- name: cd lib && cargo +stable build
run: cargo +stable build
working-directory: lib
Expand Down Expand Up @@ -228,6 +287,9 @@ jobs:
- name: cd bin && cargo +stable build --release
run: cargo +stable build --release
working-directory: bin
- name: cd lib/v3 && cargo +stable semver-checks check-release
run: cargo +stable semver-checks check-release
working-directory: lib/v3
- name: cd lib && cargo +stable semver-checks check-release
run: cargo +stable semver-checks check-release
working-directory: lib
Expand Down Expand Up @@ -277,6 +339,25 @@ jobs:
working-directory: lib/macro
- run: cd lib/macro && rm Cargo.lock
- run: cd lib/macro && mv Cargo.lock.backup Cargo.lock
- run: rustup install 1.85
- name: cd lib/v3 && cargo +1.85 build
run: cargo +1.85 build
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release
run: cargo +1.85 build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --no-default-features --features=alloc
run: cargo +1.85 build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features --features=alloc
run: cargo +1.85 build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --no-default-features
run: cargo +1.85 build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features
run: cargo +1.85 build --release --no-default-features
working-directory: lib/v3
- id: after
run: |
LIST="$(cargo install --list)"
Expand All @@ -303,6 +384,24 @@ jobs:
steps:
- uses: actions/checkout@v4
- run: rustup install nightly
- name: cd lib/v3 && cargo +nightly build
run: cargo +nightly build
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release
run: cargo +nightly build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --no-default-features --features=alloc
run: cargo +nightly build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release --no-default-features --features=alloc
run: cargo +nightly build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --no-default-features
run: cargo +nightly build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +nightly build --release --no-default-features
run: cargo +nightly build --release --no-default-features
working-directory: lib/v3
- name: cd lib && cargo +nightly build
run: cargo +nightly build
working-directory: lib
Expand Down Expand Up @@ -340,6 +439,24 @@ jobs:
run: cargo +nightly build --release
working-directory: bin
- run: rustup install stable
- name: cd lib/v3 && cargo +stable build
run: cargo +stable build
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release
run: cargo +stable build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --no-default-features --features=alloc
run: cargo +stable build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release --no-default-features --features=alloc
run: cargo +stable build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --no-default-features
run: cargo +stable build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +stable build --release --no-default-features
run: cargo +stable build --release --no-default-features
working-directory: lib/v3
- name: cd lib && cargo +stable build
run: cargo +stable build
working-directory: lib
Expand Down Expand Up @@ -419,6 +536,25 @@ jobs:
working-directory: lib/macro
- run: cd lib/macro && rm Cargo.lock
- run: cd lib/macro && mv Cargo.lock.backup Cargo.lock
- run: rustup install 1.85
- name: cd lib/v3 && cargo +1.85 build
run: cargo +1.85 build
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release
run: cargo +1.85 build --release
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --no-default-features --features=alloc
run: cargo +1.85 build --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features --features=alloc
run: cargo +1.85 build --release --no-default-features --features=alloc
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --no-default-features
run: cargo +1.85 build --no-default-features
working-directory: lib/v3
- name: cd lib/v3 && cargo +1.85 build --release --no-default-features
run: cargo +1.85 build --release --no-default-features
working-directory: lib/v3
concurrency:
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
group: ci-${{ github.ref }}
Expand Down
2 changes: 1 addition & 1 deletion xtask/src/main.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -126,7 +126,7 @@ impl Action {
(Task::Clippy, _) => &["--", "--deny=warnings"],
(Task::Build, Dir::Nostd) => &["--release"],
(Task::Test, Dir::Fuzz) => &["--lib"],
(Task::Miri, _) => &["test"],
(Task::Miri, _) => &["test", "--test=lib"],
(Task::SemverChecks, _) => &["check-release"],
(Task::Audit, _) => &["--deny=warnings"],
_ => &[],
Expand Down