@ -1,14 +1,10 @@
# This is a basic workflow to help you get started with Actions
name: CI
# Controls when the action will run.
on:
# Triggers the workflow on push or pull request events but only for the master branch
# Triggers the workflow on push to master (including merged PRs)
push:
branches: [ master ]
pull_request:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch: