commit | 052008286a37bf18394d4aa91966fdfdf26166d3 | [log] [tgz] |
---|---|---|
author | Jon Malkin <786705+jmalkin@users.noreply.github.com> | Fri Jan 29 10:10:59 2021 -0800 |
committer | GitHub <noreply@github.com> | Fri Jan 29 10:10:59 2021 -0800 |
tree | 4ab1322b1a170f817dde2d6029d978f42cd9c4cd | |
parent | f9361b0ede1dffba353a1a297796821ae19354f9 [diff] | |
parent | f561bde9d31d86e431c5bbcb9eb07d3007d008ce [diff] |
Merge pull request #188 from apache/coverage_fix try to get coveralls to have a useful badge
diff --git a/.github/workflows/code_coverage.yml b/.github/workflows/code_coverage.yml index b05bca0..e9e3798 100644 --- a/.github/workflows/code_coverage.yml +++ b/.github/workflows/code_coverage.yml
@@ -1,6 +1,10 @@ name: Code Coverage -on: [pull_request] +on: + pull_request: + push: + branches: + - master env: BUILD_TYPE: Debug