From b91a0ccdc309360a5bfe5c04def1fc2db8f08475 Mon Sep 17 00:00:00 2001 From: qazal <77887910+Qazalin@users.noreply.github.com> Date: Fri, 12 Jul 2024 03:36:59 +0800 Subject: [PATCH] make [run_process_replay] [no_assert] the default (#5390) --- .github/workflows/test.yml | 16 +++++----------- 1 file changed, 5 insertions(+), 11 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index befd883d83..df129da3c0 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -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: