diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-31 12:07:23 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-31 17:22:18 +0200 |
| commit | d895b3be2cffeab3004bc0087a9f3e2b2b790892 (patch) | |
| tree | b9ca3f9233910f85be6f528b26e55365707d3afc /tools/syz-env | |
| parent | 53dd7c4e25c03e97f0aacee31849a009ee59cfe1 (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 'tools/syz-env')
| -rwxr-xr-x | tools/syz-env | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/syz-env b/tools/syz-env index 182db8752..a6ffd0877 100755 --- a/tools/syz-env +++ b/tools/syz-env @@ -64,6 +64,7 @@ docker run \ --env FUZZIT_API_KEY \ --env GITHUB_REF \ --env GITHUB_SHA \ + --env GITHUB_PR_BASE_SHA \ --env CI \ ${DOCKERARGS[@]} \ gcr.io/syzkaller/${IMAGE} -c "$COMMAND" |