tree cbf01241dbb5bf3af18ca465283634d5ab2d390f
parent 68e9b60133bf9278fcd9763c41c82ccc88823ae2
author Jonatan Antoni <jonatan.antoni@arm.com> 1626954887 +0200
committer Jonatan Antoni <jonatan.antoni@arm.com> 1627315171 +0200

GitHub: Add action to check file headers.

The check_header.sh script checks a given file for changes
made to its file header, i.e. @date and @version. For each
file that did not receive a proper update a warning message
is generated.