Run CI for pull requests. (#159)

This commit is contained in:
Giacomo Leidi 2022-03-13 21:51:25 +01:00 committed by GitHub
parent f8a614750c
commit af45f2b5ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -4,17 +4,17 @@ name: CI
# Controls when the workflow will run # Controls when the workflow will run
on: on:
pull_request:
push: push:
# Sequence of patterns matched against refs/tags # Sequence of patterns matched against refs/tags
branches: ["master"] branches: ["master"]
# Allows you to run this workflow manually from the Actions tab # Allows you to run this workflow manually from the Actions tab
workflow_dispatch: workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel # A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs: jobs:
# This workflow contains a single job called "build"
run-tests-dev: run-tests-dev:
# The type of runner that the job will run on # The type of runner that the job will run on
runs-on: ubuntu-latest runs-on: ubuntu-latest