aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
Commit message (Collapse)AuthorAgeFilesLines
* ci: move scripts into separate directoryPetr Štetiar2022-12-041-1/+1
| | | | | | | So it's clean and tidy. Signed-off-by: Petr Štetiar <ynezz@true.cz> (cherry picked from commit 63ed733d30153667d7d645ab0ee3f5614089c759)
* build: harden GitHub workflow permissionsAlex Low2022-11-271-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> (cherry picked from commit 715259940776843d8799bc39de8eb50eb764189b)
* 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>