.github: feature-compare PR branch vs master

This commit is contained in:
Peter Barker 2022-10-04 14:20:53 +11:00 committed by Peter Barker
parent 670a702ea0
commit 863b8dc84a
1 changed files with 8 additions and 0 deletions

View File

@ -143,6 +143,14 @@ jobs:
python3 -m pip install -U tabulate python3 -m pip install -U tabulate
Tools/scripts/pretty_diff_size.py -m $GITHUB_WORKSPACE/base_branch_bin -s $GITHUB_WORKSPACE/pr_bin Tools/scripts/pretty_diff_size.py -m $GITHUB_WORKSPACE/base_branch_bin -s $GITHUB_WORKSPACE/pr_bin
- name: Feature compare with ${{ github.event.pull_request.base.ref }}
shell: bash
run: |
cd pr/
Tools/scripts/extract_features.py $GITHUB_WORKSPACE/base_branch_bin/arduplane >features-base_branch.txt
Tools/scripts/extract_features.py $GITHUB_WORKSPACE/pr_bin/arduplane >features-pr.txt
diff -u features-base_branch.txt features-pr.txt || true
- name: Checksum compare with ${{ github.event.pull_request.base.ref }} - name: Checksum compare with ${{ github.event.pull_request.base.ref }}
shell: bash shell: bash
run: | run: |