Skip to content

Add copyright linting#176

Merged
Nadegamra merged 3 commits intomainfrom
nadegamra/add-copyright-linter
Jun 16, 2025
Merged

Add copyright linting#176
Nadegamra merged 3 commits intomainfrom
nadegamra/add-copyright-linter

Conversation

@Nadegamra
Copy link
Collaborator

  • Added copyright linting script and added it to pipeline.

@Nadegamra Nadegamra changed the title Add copyright linting. Add copyright linting Jun 16, 2025
@Nadegamra Nadegamra merged commit 0953131 into main Jun 16, 2025
9 of 12 checks passed
@Nadegamra Nadegamra deleted the nadegamra/add-copyright-linter branch June 16, 2025 10:25
linasburneika pushed a commit that referenced this pull request Aug 19, 2025
* Added copyright linting script and added it to pipeline.

* Updated copyright linter error message. Fixed copyright linting errors.

* Removed unnecessary file type handling from copyright linter script.
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