Skip to content

expand ignore functionality to consistently allow ignoring submodules#165

Merged
ericphanson merged 7 commits intomainfrom
eph/fix-ignores
Jan 14, 2026
Merged

expand ignore functionality to consistently allow ignoring submodules#165
ericphanson merged 7 commits intomainfrom
eph/fix-ignores

Conversation

@ericphanson
Copy link
Copy Markdown
Member

@ericphanson ericphanson commented Jan 13, 2026

closes #164

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR expands the ignore functionality to consistently allow ignoring submodules across all check functions. Previously, the ignore parameter primarily supported ignoring specific symbols; now it consistently supports ignoring entire submodule trees as well.

Changes:

  • Added helper functions (is_ignored_submodule, validate_ignore_submodules) to handle submodule-based ignoring
  • Updated all check functions to validate and apply submodule ignoring
  • Added merge_ignore function in test_explicit_imports to merge top-level and per-check ignore lists
  • Comprehensive test coverage for the new functionality

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
src/checks.jl Added helper functions for submodule ignoring and integrated them into all check functions; updated documentation
src/test_explicit_imports.jl Added merge_ignore function and integrated ignore parameter into test_explicit_imports
test/ignore_modules.jl New test module definitions covering all check function scenarios
test/ignore_modules_test.jl Comprehensive tests for submodule ignoring functionality
test/runtests.jl Integrated new test files and added merge behavior tests

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread src/checks.jl Outdated
@ericphanson ericphanson marked this pull request as ready for review January 13, 2026 20:52
@ericphanson ericphanson merged commit 702ce52 into main Jan 14, 2026
8 checks passed
@ericphanson ericphanson deleted the eph/fix-ignores branch January 14, 2026 10:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants