]> begriffs open source - cmsis/commit
Enhance check_header.sh to consider all commits in a PR.
authorJonatan Antoni <jonatan.antoni@arm.com>
Thu, 12 May 2022 15:47:34 +0000 (17:47 +0200)
committerJonatan Antoni <jonatan.antoni@arm.com>
Thu, 12 May 2022 16:50:26 +0000 (18:50 +0200)
commit33d8813087850b9e1fb4ea7abdc0359f0a258685
tree30ad55d0208326c4dc7c7c18118bc77f167311aa
parentf865ba307c11335f76b83f5e3afe8d8ddfbbbcd9
Enhance check_header.sh to consider all commits in a PR.
.github/workflows/fileheader.yml