diff --git a/.github/actions/build-archive/action.yml b/.github/actions/build-archive/action.yml index ccdfb361d8..8cb2340f80 100644 --- a/.github/actions/build-archive/action.yml +++ b/.github/actions/build-archive/action.yml @@ -26,7 +26,7 @@ runs: cp README.md ${{ inputs.name }}/GENERAL_README.md cp scripts/theta-start.sh ${{ inputs.name }}/theta-start.sh chmod +x ${{ inputs.name }}/theta-start.sh - sed "s/COMMIT_ID/$GITHUB_SHA/g" $GITHUB_ACTION_PATH/README.md > + sed "s/COMMIT_ID/$GITHUB_SHA/g" $GITHUB_ACTION_PATH/README.md > ${{ inputs.name }}/README.md sed -i 's/TOOL_NAME/${{ inputs.name }}/g' ${{ inputs.name }}/README.md sed -i 's/INPUT_FLAG/${{ inputs.inputflag }}/g' ${{ inputs.name }}/README.md - name: Extract theta-xcfa-cli and theta-smtlib-cli