| commit | 19e657490e2bd408e52a9ffa005df0d2f5b99f89 | [log] [tgz] |
|---|---|---|
| author | Geoffrey Martin-Noble <gcmn@google.com> | Mon Jul 13 17:50:25 2020 -0700 |
| committer | GitHub <noreply@github.com> | Mon Jul 13 17:50:25 2020 -0700 |
| tree | 429aabdd277c2f90e44709b9236daacafba857c9 | |
| parent | 57a9ae3be83db8c881d659e1b705822c87796ac3 [diff] |
Add lint action for PR title length (#2481) This enforces some basic restrictions on PR titles as good commit titles. Tested: https://github.com/google/iree/pull/2481/checks?check_run_id=859804845 gave a nice failure
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 45cf1bd..d8eeecf 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml
@@ -66,6 +66,14 @@ with: strict: true + pr-title-length: + runs-on: ubuntu-18.04 + steps: + - uses: deepakputhraya/action-pr-title@v1.0.0 + with: + min_length: 5 + max_length: 80 + buildifier: runs-on: ubuntu-18.04 steps: