aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2020-07-31 12:07:23 +0200
committerDmitry Vyukov <dvyukov@google.com>2020-07-31 17:22:18 +0200
commitd895b3be2cffeab3004bc0087a9f3e2b2b790892 (patch)
treeb9ca3f9233910f85be6f528b26e55365707d3afc /Makefile
parent53dd7c4e25c03e97f0aacee31849a009ee59cfe1 (diff)
.github/workflows: check commit description format
Check PR commit subjects for the standard format we use "pkg/name: description of the change". Check PR commit bodies for at most 120 characters.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 19a40345b..1543b81e2 100644
--- a/Makefile
+++ b/Makefile
@@ -102,7 +102,7 @@ endif
bin/syz-extract bin/syz-fmt \
extract generate generate_go generate_sys \
format format_go format_cpp format_sys \
- tidy test test_race check_copyright check_language check_links check_diff \
+ tidy test test_race check_copyright check_language check_links check_diff check_commits \
presubmit presubmit_parallel clean
all: host target
@@ -265,7 +265,7 @@ presubmit:
presubmit_smoke:
$(MAKE) generate
- $(MAKE) -j100 check_diff check_copyright check_language check_links presubmit_build
+ $(MAKE) -j100 check_commits check_diff check_copyright check_language check_links presubmit_build
$(MAKE) test
presubmit_build:
@@ -342,6 +342,9 @@ check_copyright:
check_language:
./tools/check-language.sh
+check_commits:
+ ./tools/check-commits.sh
+
check_links:
python ./tools/check_links.py $$(pwd) $$(ls ./*.md; find ./docs/ -name '*.md')