Skip to content
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.

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

Fail CI pipeline if copyright headers are not up-to-date. #796

Merged
merged 1 commit into from
Apr 22, 2022

Conversation

MoFtZ
Copy link
Collaborator

@MoFtZ MoFtZ commented Apr 21, 2022

Changes the CI pipeline so that each of the style checks are run independently. This is so that the copyright check can download the full Git history.

@m4rs-mt m4rs-mt merged commit 8e4e31f into m4rs-mt:master Apr 22, 2022
@m4rs-mt m4rs-mt added this to the v1.2 milestone Apr 22, 2022
@MoFtZ MoFtZ deleted the feature/copyright-pr branch April 22, 2022 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants