Skip to content

Support Miri test, run it in CI for labeled PRs #113

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

Jump to bottom
Open
SpriteOvO wants to merge 30 commits into
base: main-dev
Choose a base branch
from
Open

Support Miri test, run it in CI for labeled PRs #113

SpriteOvO wants to merge 30 commits into from

Conversation

@SpriteOvO
Copy link
Owner

@SpriteOvO SpriteOvO commented Dec 17, 2025 •
edited
Loading

This PR supports cargo +nightly miri for spdlog-rs.

Because it's very slow (about 20+ minutes required in GitHub Actions), so we only run it in CI for PRs that labeled as ci-runs-miri.

SpriteOvO and others added 29 commits November 15, 2025 16:07
@SpriteOvO
Update documentation for StringBuf
9adfc8e
@SpriteOvO
Enable Rustdoc examples scraping on docs.rs
e2aa6d3
@tisonkun @SpriteOvO
Flush sinks on program exit with a special method flush_on_exit (#102)
cf3a3dd 
Co-authored-by: Asuna <[email protected]>
@SpriteOvO
Hint at connection between "verbose" and LevelFilter::All in example
771243d
@SpriteOvO
Deprecate AsyncPoolSinkBuilder::formatter method
7c86694
@SpriteOvO
Add a shorthand method build_arc to builder structs (#107)
e4444c8
@SpriteOvO
Add justfile
bd59ff0
@SpriteOvO
Improve builder structs doc, add default values to methods doc
9a91ddd
@SpriteOvO
Inherit the same package properties from workspace
afd0df7
@SpriteOvO
Rename feature gate test to std-stream-captured
065c964
@SpriteOvO
Cargo check tests and examples
5d95b07
@SpriteOvO
Use from instead of capture for KV values (#109)
a619332
@SpriteOvO
Rename crates-io.md to README.md for spdlog-{macros,internal}
3353acc
@SpriteOvO
Introduce PartialFormatter to allow selection of formatting parts
8bc177d
@SpriteOvO
Replace private JournaldFormatter with PartialFormatter
25e6b36
@SpriteOvO
Replace private AndroidFormatter with PartialFormatter
ba27645
@SpriteOvO
Rename PartialFormatter to OptFormatter
12ec0e6
@SpriteOvO
Add documentation for OptFormatter
aca535d
@SpriteOvO
CI Fix flaky Windows native test
c36ca9c
@SpriteOvO
Make Level::count method public
8fc2296
@SpriteOvO
Move CI native tests code to separate scripts
7c107c2
@SpriteOvO
CI Read rust-version from Cargo.toml
a96e69f
@SpriteOvO
Add doc entry "Capturing logs in tests" to "Overview of features"
5e267de
@SpriteOvO
Allow setting up filter for records from log crate
bed493d
@SpriteOvO
Bump MSRV to 1.71
faffb0a
@SpriteOvO
Introduce AtomicLevelFilter
af0a912
@SpriteOvO
Bump atomic dependency to the latest
704cf7e
@SpriteOvO
Move assertions for Level{,Filter{,Layout}} out of cfg(test)
fa8d098
@SpriteOvO
Refactor LevelFilterLayout to avoid unsafe code
21534f4
@SpriteOvO SpriteOvO force-pushed the miri branch 2 times, most recently from bff27a8 to ce5ae2e Compare December 17, 2025 00:26
@SpriteOvO SpriteOvO force-pushed the miri branch 3 times, most recently from fa87ff8 to f528395 Compare December 17, 2025 00:39
@SpriteOvO SpriteOvO force-pushed the main-dev branch 9 times, most recently from 58d8367 to ed5440c Compare December 25, 2025 03:15
@SpriteOvO SpriteOvO force-pushed the main-dev branch 3 times, most recently from 0350263 to 3aaef62 Compare December 28, 2025 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

ci-runs-miri

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@SpriteOvO @tisonkun