From af45f2b5ea154cf7261f10bb277e64757a697428 Mon Sep 17 00:00:00 2001 From: Giacomo Leidi Date: Sun, 13 Mar 2022 21:51:25 +0100 Subject: [PATCH] Run CI for pull requests. (#159) --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b509d1c..2a5edd0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -4,17 +4,17 @@ name: CI # Controls when the workflow will run on: + pull_request: + push: # Sequence of patterns matched against refs/tags branches: ["master"] - # Allows you to run this workflow manually from the Actions tab workflow_dispatch: # A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: - # This workflow contains a single job called "build" run-tests-dev: # The type of runner that the job will run on runs-on: ubuntu-latest