Revert "UPat for has_valid in load/store (#5052)" (#5056)

* manually insert in the Linearizer

* fix process replay
This commit is contained in:
qazal
2024-06-19 20:53:36 +03:00
committed by GitHub
parent ee01e464e3
commit a6a5dba637
2 changed files with 6 additions and 4 deletions

View File

@@ -34,7 +34,7 @@ jobs:
id: set-env
run: |
COMMIT_MESSAGE=$(git show -s --format=%B ${{ github.event.pull_request.head.sha }})
if { echo "$COMMIT_MESSAGE" | grep -q "\[run_process_replay\]" || [ "${{ github.event.inputs.run_process_replay }}" == "true" ] || echo "${{ github.event.pull_request.title }}" | grep -q "\[run_process_replay\]"; } && [ "$GITHUB_REF_NAME" != "master" ]; then
if { echo "$COMMIT_MESSAGE" | grep -q "\[run_process_replay\]" || [ "${{ github.event.inputs.run_process_replay }}" == "true" ] || echo '${{ github.event.pull_request.title }}' | grep -q "\[run_process_replay\]"; } && [ "$GITHUB_REF_NAME" != "master" ]; then
echo "RUN_PROCESS_REPLAY=1" >> $GITHUB_OUTPUT
if echo "$COMMIT_MESSAGE" | grep -q "\[no_assert\]"; then
echo "ASSERT_PROCESS_REPLAY=0" >> $GITHUB_OUTPUT