File tree Expand file tree Collapse file tree 1 file changed +7
-8
lines changed
Expand file tree Collapse file tree 1 file changed +7
-8
lines changed Original file line number Diff line number Diff line change @@ -37,14 +37,13 @@ runs:
3737 run : git diff ${{ inputs.base_branch }}...HEAD > diff.txt
3838 shell : bash
3939
40- # TODO: use a script instead of a bash command.
41- # - name: Check that the input_api_file was involved in the diff
42- # run: |
43- # if ! grep -q ${{ inputs.input_api_file }} diff.txt; then
44- # echo "Error: The input API file was not involved in the diff. Exiting."
45- # exit 1
46- # fi
47- # shell: bash
40+ - name : Check that the input_api_file was involved in the diff
41+ run : |
42+ if ! grep -q "diff --git a/${{ inputs.input_api_file }} b/${{ inputs.input_api_file }}" diff.txt; then
43+ echo "Error: The input API file was not involved in the diff. Exiting."
44+ exit 1
45+ fi
46+ shell : bash
4847
4948 - uses : actions/setup-python@v2
5049 with :
You can’t perform that action at this time.
0 commit comments