Skip to content

Re-attempt block disappearing scope file #692

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
Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

Re-attempt block disappearing scope file #692

wants to merge 3 commits into from

Conversation

dennis-sig
Copy link
Contributor

Reverts #690

@github-actions GitHub Actions
Copy link

github-actions bot commented Jul 9, 2025 •
edited
Loading

Sigrid maintainability feedback

💭️ You did not change any files that are measured by Sigrid

View this system in Sigrid

@dennis-sig dennis-sig requested a review from sbrinkhorst July 9, 2025 12:38
@dennis-sig dennis-sig self-assigned this Jul 9, 2025
@dennis-sig dennis-sig marked this pull request as draft July 9, 2025 12:39
@dennis-sig
Copy link
Contributor Author

@sbrinkhorst We now handle the sub-system case, but leaving this on draft until we can check for which edge cases this should apply to.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sbrinkhorst sbrinkhorst Awaiting requested review from sbrinkhorst

At least 1 approving review is required to merge this pull request.

Assignees

@dennis-sig dennis-sig

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@dennis-sig