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