File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7575 pr_num=$(echo "$GITHUB_REF_NAME" | sed 's|/.*||g')
7676 echo "export CI_PULL_REQUEST=${pr_num}" >> pr/env.sh
7777 echo "export CI_COMMIT=${GITHUB_SHA}" >> pr/env.sh
78+ cat $GITHUB_ACTIONS
7879
7980 find topics/ -name tutorial.md | xargs -n 1 python bin/check-broken-boxes.py | reviewdog -efm="%f:%l: %m" -filter-mode=file -reporter=github-pr-review -fail-level=error | tee ./pr/reviewdog.txt
8081 set -o pipefail
Original file line number Diff line number Diff line change 5757 unset GITHUB_ACTIONS
5858 env | grep GITHUB_ | grep -v TOKEN | sort
5959
60- cat reviewdog.txt | reviewdog -efm="%f:%l: %m" -reporter=github-pr-review -log-level debug -tee
60+ cat reviewdog.txt | reviewdog -efm="%f:%l: %m" -reporter=github-pr-review -log-level debug -tee -filter-mode nofilter -name 'GTN Lint'
6161
62- cat reviewdog.json | reviewdog -reporter=github-pr-review -f=rdjsonl -log-level debug -tee
62+ cat reviewdog.json | reviewdog -reporter=github-pr-review -f=rdjsonl -log-level debug -tee -filter-mode nofilter -name 'GTN Lint'
6363 env :
6464 REVIEWDOG_GITHUB_API_TOKEN : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments