Skip to content

Fix change dection for checkHeaders script#1707

Merged
tortmayr merged 1 commit into
masterfrom
fix/checkheaders-changes-dot-directory
Jun 22, 2026
Merged

Fix change dection for checkHeaders script#1707
tortmayr merged 1 commit into
masterfrom
fix/checkheaders-changes-dot-directory

Conversation

@tortmayr

Copy link
Copy Markdown
Contributor

What it does

How to test

Follow-ups

Changelog

  • This PR should be mentioned in the changelog
  • This PR introduces a breaking change (if yes, provide more details below for the changelog and the migration guide)

@tortmayr tortmayr merged commit c537774 into master Jun 22, 2026
4 checks passed
@tortmayr tortmayr deleted the fix/checkheaders-changes-dot-directory branch June 22, 2026 17:24
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.

1 participant