Skip to content

Conversation

@huwei-mc
Copy link
Contributor

No description provided.

@huwei-mc huwei-mc requested a review from Copilot December 16, 2025 08:15
Copy link

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 adds a validation script to check that notebook files correctly reference misc directory files. The script verifies that referenced files exist and are properly declared in the import file mapping.

  • Reformats import_file_mapping.json for better readability with multi-line entries
  • Adds new script check_misc_references.py to validate misc file references in notebooks
  • Integrates the validation check into the GitHub Actions lint workflow

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

File Description
misc/import_file_mapping.json Reformatted from single-line to multi-line format and added new notebook-file mappings
misc/check_misc_references.py New Python script that scans notebooks for misc directory references and validates them
.github/workflows/lint-notebooks.yml Added workflow_dispatch trigger and new validation step for misc file references

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

@huwei-mc huwei-mc requested a review from Copilot December 16, 2025 08:42
Copy link

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

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.


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

@huwei-mc huwei-mc requested a review from Copilot December 16, 2025 08:56
Copy link

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

Copilot reviewed 3 out of 3 changed files in this pull request and generated no new comments.


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

@huwei-mc huwei-mc merged commit 7c41951 into develop Dec 17, 2025
1 check passed
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