CI: allow PRs for CONTRIBUTING.md and README.md files
authorYegor Yefremov <yegorslists@googlemail.com>
Wed, 29 Nov 2023 08:13:18 +0000 (09:13 +0100)
committerRosen Penev <rosenp@gmail.com>
Fri, 1 Dec 2023 23:13:42 +0000 (15:13 -0800)
commit13553e66412fbcc215ae06ea71d11cfdad546dae
tree97b37de6a89281ab2cf4aa23402a67b4270bcd87
parent661a22c59488a2ccbb5b9dfcb07b440e2dce5a11
CI: allow PRs for CONTRIBUTING.md and README.md files

Also grep for CONTRIBUTING.md and README.md in the subject.

Signed-off-by: Yegor Yefremov <yegorslists@googlemail.com>
.github/workflows/formal.yml