feat: Add MIRI check to CI pipeline #104
Open
+6
−0
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a step to the GitHub Actions CI pipeline to run MIRI (Undefined Behavior detector) on the codebase.
Changes
Modified
.github/workflows/reusable-build.yml:Added
rustup component add miri.Added
Miri Checkstep to the Linux build job.Configured to run cargo
miri test --workspacewith exclusions for crates that use LLVM bindings (FFI) which are currently unsupported by MIRI:inference-wasm-codegen(depends oninkwell)inference(depends onwasm-codegen)inference-cli(depends oninference)infs(app)inference-lsp(uses inkwell)inference-ide&inference-ide-db(excluded to reduce noise/compile time, focusing on core logic first)Verification
Verified
MIRIinstallation command locally.CI pipeline will now report any UB found in the core crates (AST, Type Checker, etc).