Skip to content

Commit

Permalink
Fix syntax in github-actions-record-coq-info.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
@andres-erbsen
andres-erbsen authored Apr 16, 2024
1 parent 5824db7 commit 7ec76f9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions etc/ci/github-actions-record-coq-info.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ COQTOP_VERSION="$(true | coqtop 2>&1)"
if [ ! -z "$GITHUB_STEP_SUMMARY" ] && [ ! -z "$COQC_VERSION" ]; then
printf '%s\n\n' "<details><summary>${COQC_VERSION}</summary>" >> "$GITHUB_STEP_SUMMARY"
printf '%s\n' '```' >> "$GITHUB_STEP_SUMMARY"
printf '%s\n' "${COQTOP_VERSION} >> "$GITHUB_STEP_SUMMARY"
printf '%s\n' "${COQTOP_VERSION}" >> "$GITHUB_STEP_SUMMARY"
printf '%s\n%s\n' '```' '</details>' >> "$GITHUB_STEP_SUMMARY"
fi
fi

1 comment on commit 7ec76f9

@JasonGross
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

Please sign in to comment.