Disable double CI runs for PRs (#5)

This commit is contained in:
battlmonstr
2021-06-09 15:19:57 +02:00
committed by GitHub
parent 04f3ed4b8a
commit 261f0fbb82

View File

@@ -1,4 +1,8 @@
on: [push, pull_request]
on:
pull_request:
push:
branches:
- master
name: Continuous integration