-
Notifications
You must be signed in to change notification settings - Fork 9.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix equivalence test actions #36023
Fix equivalence test actions #36023
Conversation
4c2f0cc
to
670ae80
Compare
670ae80
to
5fbd174
Compare
merged = ${{ github.event.pull_request.merged }} | ||
target_branch = ${{ github.event.pull_request.base.ref }} | ||
merged=${{ github.event.pull_request.merged }} | ||
target_branch=${{ github.event.pull_request.base.ref }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We might want to enclose this in (single) quotes in case the branch name has spaces or something that needs escaping.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done!
a80f879
to
b54847b
Compare
The equivalence tests will be updated. Please verify the changes here. |
b54847b
to
41f01e6
Compare
The equivalence tests will be updated. Please verify the changes here. |
The equivalence tests will be updated. Please verify the changes here. |
6ad6290
to
5fd284c
Compare
The equivalence tests will be updated. Please verify the changes here. |
The equivalence tests will be updated. Please verify the changes here. |
The equivalence tests will be updated. Please verify the changes here. |
Reminder for the merging maintainer: if this is a user-visible change, please update the changelog on the appropriate release branch. |
merged = ${{ github.event.pull_request.merged }} | ||
target_branch = ${{ github.event.pull_request.base.ref }} | ||
merged="${{ github.event.pull_request.merged }}" | ||
target_branch="${{ github.event.pull_request.base.ref }}" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
target_branch="${{ github.event.pull_request.base.ref }}" | |
target_branch='${{ github.event.pull_request.base.ref }}' |
I think this is slightly safer as it disallows interpolation, so that in case the ref contained some special characters, like $()
then it won't have any special meaning if it's enclosed in '
rather than "
. The only special character then becomes just '
.
Hopefully GitHub disallows branch names with special characters anyway but better safe than sorry.
I'm going to lock this pull request because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active contributions. |
This PR fixes all the syntax errors in my first attempt at this.