diff options
author | Marco Ieni <11428655+MarcoIeni@users.noreply.github.com> | 2020-12-26 12:33:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-26 12:33:28 +0100 |
commit | 3904beefa867f4879756091fb432832041117dda (patch) | |
tree | 9f203fc4aab00a53fac99f7334fe0b40e1517000 /.github | |
parent | 25a0dfcd6b04f85035715ff7140ba7f3d2406472 (diff) |
ci: run also on push
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index da7d95c9..e09da869 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,4 @@ -on: [pull_request] +on: [push, pull_request] name: Continuous Integration jobs: |