make [run_process_replay] [no_assert] the default (#5390)

This commit is contained in:
qazal
2024-07-12 03:36:59 +08:00
committed by GitHub
parent e8191479a3
commit b91a0ccdc3

View File

@@ -37,19 +37,13 @@ jobs:
COMMIT_MESSAGE=$(printf '%q' "$RAW_COMMIT_MESSAGE")
RAW_PR_TITLE=$(jq -r .pull_request.title "$GITHUB_EVENT_PATH")
PR_TITLE=$(printf '%q' "$RAW_PR_TITLE")
echo "RUN_PROCESS_REPLAY=1" >> $GITHUB_OUTPUT
echo "ASSERT_PROCESS_REPLAY=0" >> $GITHUB_OUTPUT
echo "running process replay in diff-only mode"
if { echo "$COMMIT_MESSAGE" | grep -q "run_process_replay" || echo "$PR_TITLE" | grep -q "run_process_replay" || [ "${{ github.event.inputs.run_process_replay }}" = "true" ]; } && [ "$GITHUB_REF_NAME" != "master" ]; then
echo "RUN_PROCESS_REPLAY=1" >> $GITHUB_OUTPUT
echo "enabled process replay"
if { echo "$COMMIT_MESSAGE" | grep -q "no_assert" || echo "$PR_TITLE" | grep -q "no_assert"; }; then
echo "ASSERT_PROCESS_REPLAY=0" >> $GITHUB_OUTPUT
echo "running process replay in diff-only mode"
else
echo "ASSERT_PROCESS_REPLAY=1" >> $GITHUB_OUTPUT
fi
else
echo "RUN_PROCESS_REPLAY=0" >> $GITHUB_OUTPUT
echo "disabled process replay"
echo "ASSERT_PROCESS_REPLAY=1" >> $GITHUB_OUTPUT
echo "enabled process replay (with assert)"
fi
uops: