File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -246,13 +246,23 @@ jobs:
246246 with :
247247 name : pull_request_linting_results
248248
249+ - name : List contents
250+ run : |
251+ echo "Where am I?"
252+ pwd
253+ echo "What's here?"
254+ ls -lrt
255+
249256 - name : Compare linting results
250257 id : compare
251258 continue-on-error : true
252259 run : |
253260 diff_file_name=linting_diff.txt
254- pr_linting_results_file=$(dev-${{ matrix.os_name }}/log/linting*/*_linting.log)
255- nightly_linting_results_file=$(dev-${{ matrix.os_name }}/nightly_linting_results.log)
261+ pr_linting_results_file=$(find . -name *_linting.log)
262+ nightly_linting_results_file=$(find . -name nightly_linting_results.log)
263+
264+ echo "pr_linting_results_file=$pr_linting_results"
265+ echo "nightly_linting_results_file=$nightly_linting_results"
256266
257267 [[ -f "$pr_linting_results_file" ]] || echo "ERROR: No PR results file; exit 1"
258268 [[ -f "$nightly_linting_results_file" ]] || echo "ERROR: No nightly results file; exit 2"
You can’t perform that action at this time.
0 commit comments