mirror of
https://github.com/github/codeql-action.git
synced 2025-12-30 19:20:08 +08:00
34 lines
1.0 KiB
Bash
Executable File
34 lines
1.0 KiB
Bash
Executable File
#!/bin/bash
|
|
set -eu
|
|
|
|
# Sanity check that repo is clean to start with
|
|
if [ ! -z "$(git status --porcelain)" ]; then
|
|
# If we get a fail here then this workflow needs attention...
|
|
>&2 echo "Failed: Repo should be clean before testing!"
|
|
exit 1
|
|
fi
|
|
|
|
# Wipe the generated PR checks in case there are extra unnecessary files in there
|
|
rm -rf .github/workflows/__*
|
|
|
|
# Generate the PR checks
|
|
pr-checks/sync.sh
|
|
|
|
# Check that repo is still clean
|
|
if [ ! -z "$(git status --porcelain)" ]; then
|
|
# If we get a fail here then the PR needs attention
|
|
git diff
|
|
git status
|
|
>&2 echo "Failed: PR checks are not up to date. Run 'cd pr-checks && python3 sync.py' to update"
|
|
|
|
echo "### Generated workflows diff" >> $GITHUB_STEP_SUMMARY
|
|
echo "" >> $GITHUB_STEP_SUMMARY
|
|
echo '```diff' >> $GITHUB_STEP_SUMMARY
|
|
git diff --output="$RUNNER_TEMP/workflows.diff"
|
|
cat "$RUNNER_TEMP/workflows.diff" >> $GITHUB_STEP_SUMMARY
|
|
echo '```' >> $GITHUB_STEP_SUMMARY
|
|
|
|
exit 1
|
|
fi
|
|
echo "Success: PR checks are up to date"
|