- 66b53e2 merge.py: Set default value for --json-file to empty list by Paul Sokolovsky · 3 years, 4 months ago
- 83ec482 merge.sh: cat $output_json_file by Paul Sokolovsky · 3 years, 7 months ago
- 40c8303 merge.sh: cat $output_coverage_file by Paul Sokolovsky · 3 years, 7 months ago
- 5485165 merge.sh: Use "set -x". by Paul Sokolovsky · 3 years, 7 months ago
- bd4e30e coverage-reporting/merge.py: Update sources key in config JSON by Paul Sokolovsky · 3 years, 7 months ago
- 2291baa branch_coverage.sh: ignore clear-command errors by Leonardo Sandoval · 4 years, 1 month ago
- c1aa68d Bugfix for issue 1 by Saul Romero · 4 years, 1 month ago
- 6c40b24 Bugfix for translation in merge reports by saul-romero-arm · 4 years, 2 months ago
- c803014 Bugfix in function list matching by saul-romero-arm · 4 years, 7 months ago
- 4b14afb Initial commit. by Basil Eljuse · 4 years, 10 months ago