From d010206d32986253dcfdd758aec69e7ca7ccb1a2 Mon Sep 17 00:00:00 2001 From: pantor Date: Mon, 15 Jun 2020 20:44:36 +0200 Subject: [PATCH] use github actions for pull requests --- .github/workflows/ci.yml | 2 +- .github/workflows/single-include.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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: