aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
Commit message (Collapse)AuthorAgeFilesLines
* CI: bump actions/checkout action to v3Christian Marangi2022-12-041-1/+1
| | | | | | | | Bump actions/checkout action to v3 on every workflow to mute node deprecation warning. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> (cherry picked from commit 87c69d73bb4021bf3a26217b3a652ce262637b1e)
* 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-12-041-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-12-041-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> (cherry picked from commit fb5d0dc362e5206dbedb694dbe27953582eb887b)
* CI: add formal checksPaul Spooren2022-12-041-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> (cherry picked from commit 3dc38823a2994639500ca201ac16928b7bf0bd8a)