diff options
| author | Léo Lam <leo@leolam.fr> | 2021-04-11 16:11:14 +0200 |
|---|---|---|
| committer | Léo Lam <leo@leolam.fr> | 2021-04-11 16:11:14 +0200 |
| commit | d558d5ab33abe04f4e5153f762def2bb9970746c (patch) | |
| tree | 4bda1b1ff06b23f44816fa6a1209274cc7edeecc /.github | |
| parent | d253711d1bebfdd41b4af31c09460d6f5c2da587 (diff) | |
ci: Run lint workflow on pushes as well
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint_pr.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lint_pr.yml b/.github/workflows/lint_pr.yml index 58ecc968..6e960fae 100644 --- a/.github/workflows/lint_pr.yml +++ b/.github/workflows/lint_pr.yml @@ -1,5 +1,5 @@ name: lint_pr -on: pull_request +on: [push, pull_request] jobs: clang-format: runs-on: ubuntu-latest |