| commit | d010206d32986253dcfdd758aec69e7ca7ccb1a2 | [log] [tgz] |
|---|---|---|
| author | pantor <lars.berscheid@online.de> | Mon Jun 15 20:44:36 2020 +0200 |
| committer | pantor <lars.berscheid@online.de> | Mon Jun 15 20:44:36 2020 +0200 |
| tree | 849a92308e978d9406bcc88e4b873cc2d465577e | |
| parent | cc5cc2875f076b78ecc198c6117b86c2a5527346 [diff] |
use github actions for pull requests
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0890542..498e6b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -2,7 +2,7 @@ name: CI -on: push +on: [push, pull_request] jobs: ci:
diff --git a/.github/workflows/single-include.yml b/.github/workflows/single-include.yml index 884b5da..61289dc 100644 --- a/.github/workflows/single-include.yml +++ b/.github/workflows/single-include.yml
@@ -1,6 +1,6 @@ name: Single Include -on: push +on: [push, pull_request] jobs: test: