Merge pull request #53 from huitseeker/ci_fix

Don't duplicate CI runs on PR & push
This commit is contained in:
François Garillot
2020-09-23 21:28:54 -04:00
committed by GitHub
+3
View File
@@ -1,6 +1,9 @@
name: Rust CI
on:
push:
branches:
- tls
- master
pull_request:
types: [opened, repoened, synchronize]