CI: allow dots in commit subject area
authorPaul Spooren <mail@aparcar.org>
Wed, 23 Feb 2022 18:51:43 +0000 (19:51 +0100)
committerJosef Schlehofer <pepe.schlehofer@gmail.com>
Sun, 4 Dec 2022 15:11:57 +0000 (16:11 +0100)
commit6d4d665147b2e9628494a64612c510f641d11337
tree6aff01ec143a2bfabe6413e7e302db1cf41da9ae
parent09f4533d6d07eb7afd922ced0f4461e61d07a999
CI: allow dots in commit subject area

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)
.github/workflows/formal.yml