File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -56,15 +56,15 @@ jobs:
5656 echo "Running generator on merge"
5757 PATH="$PATH:codeql-cli/codeql" python merge/misc/scripts/library-coverage/generate-report.py ci merge merge
5858 mkdir out_merge
59- cp framework-coverage-*.csv out_merge/
60- cp framework-coverage-*.rst out_merge/
59+ mv framework-coverage-*.csv out_merge/
60+ mv framework-coverage-*.rst out_merge/
6161 - name : Generate CSV files on base commit of the PR
6262 run : |
6363 echo "Running generator on base"
6464 PATH="$PATH:codeql-cli/codeql" python base/misc/scripts/library-coverage/generate-report.py ci base base
6565 mkdir out_base
66- cp framework-coverage-*.csv out_base/
67- cp framework-coverage-*.rst out_base/
66+ mv framework-coverage-*.csv out_base/
67+ mv framework-coverage-*.rst out_base/
6868 - name : Generate diff of coverage reports
6969 run : |
7070 python base/misc/scripts/library-coverage/compare-folders.py out_base out_merge comparison.md
You can’t perform that action at this time.
0 commit comments