Fix missing filename

ftsrg · Nov 19, 2023 · 4e081a4 · 4e081a4
1 parent dfc6d09
commit 4e081a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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