aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
Commit message (Collapse)AuthorAgeFilesLines
* CI: bump actions/checkout action to v3Christian Marangi2022-10-121-1/+1
| | | | | | | Bump actions/checkout action to v3 on every workflow to mute node deprecation warning. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
* ci: move scripts into separate directoryPetr Štetiar2022-09-201-1/+1
| | | | | | So it's clean and tidy. Signed-off-by: Petr Štetiar <ynezz@true.cz>
* build: harden GitHub workflow permissionsAlex Low2022-09-191-0/+3
| | | | | | | | | Grant pull-requests write permission to the labeler workflow and read-only to everything else. Signed-off-by: Alex Low <aleksandrosansan@gmail.com> [ wrap to 80 columns and fix wrong author as requested by author itself ] Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
* CI: allow dots in commit subject areaPaul Spooren2022-02-241-1/+1
| | | | | | | Due to a limited grep pattern, subjects containing dots like `image.mk` were falsely reported as problematic. Extend pattern to allow dots. Signed-off-by: Paul Spooren <mail@aparcar.org>
* CI: add formal checksPaul Spooren2022-01-291-0/+70
The formal checks verify the following things: - Commits does not contain any merge commits - Signed by a real name - Commit titles starts with an `<area>:` - Author name matches signed of name - Commit message is not empty Signed-off-by: Paul Spooren <mail@aparcar.org>