Skip to content

Add exclude functionality for check_notice#201

Merged
drasmuss merged 2 commits intomainfrom
check-ignore
Jul 7, 2025
Merged

Add exclude functionality for check_notice#201
drasmuss merged 2 commits intomainfrom
check-ignore

Conversation

@drasmuss
Copy link
Member

@drasmuss drasmuss commented Jul 7, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Jul 7, 2025

Coverage report

Click to see where and how coverage changed

FileStatementsMissingCoverageCoverage
(new stmts)
Lines missing
  nengo_bones
  config.py
  nengo_bones/scripts
  check_bones.py
  check_notice.py
Project Total  

This report was generated by python-coverage-comment-action

@drasmuss drasmuss merged commit b6707ad into main Jul 7, 2025
8 of 9 checks passed
@drasmuss drasmuss deleted the check-ignore branch July 7, 2025 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant