Merge pull request #1 from mithro/main

Add a simple GitHub Action to check headers.