diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2019-10-25 21:04:01 -0400 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-25 18:32:50 -0700 |
commit | de1e4391100419e73d737f3b3f5d53210e7dc4aa (patch) | |
tree | ae9a685fa9447a37bd886e04467491113638f8a3 /.clang-format | |
parent | f83505b554e0a0ac43dab5ce8503fbc100689644 (diff) | |
download | subsurface-de1e4391100419e73d737f3b3f5d53210e7dc4aa.tar.gz |
GitHub Actions: only build pushes into and PR against master
This should fix the odd double builds for people who create branches for
pull requests in the main repository.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions