ci: Run lint workflow on pushes as well

This commit is contained in:
Léo Lam 2021-04-11 16:11:14 +02:00
parent d253711d1b
commit d558d5ab33
No known key found for this signature in database
GPG Key ID: 0DF30F9081000741
1 changed files with 1 additions and 1 deletions

View File

@ -1,5 +1,5 @@
name: lint_pr
on: pull_request
on: [push, pull_request]
jobs:
clang-format:
runs-on: ubuntu-latest