From d558d5ab33abe04f4e5153f762def2bb9970746c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Lam?= Date: Sun, 11 Apr 2021 16:11:14 +0200 Subject: [PATCH] ci: Run lint workflow on pushes as well --- .github/workflows/lint_pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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