prevent double CI workflows in PRs

This commit is contained in:
Simon Wisselink
2022-09-12 16:02:42 +02:00
parent 50d5890eac
commit 7494818434

View File

@@ -1,8 +1,10 @@
# https://help.github.com/en/categories/automating-your-workflow-with-github-actions # https://help.github.com/en/categories/automating-your-workflow-with-github-actions
on: on:
- pull_request pull_request:
- push push:
branches:
- 'master'
name: CI name: CI