devtools
Use `github.event.pull_request.head.sha` as PR reference in DCM workflow
#5925
Merged

Use `github.event.pull_request.head.sha` as PR reference in DCM workflow #5925

elliette
elliette2 years ago

Follow up to #5886

Currently the DCM workflow is running against the last commit on the master branch, not on the PR branch

From reading https://github.com/orgs/community/discussions/25191#discussioncomment-3246770, I believe github.event.pull_request.head.sha is what we want.

elliette Fix the DCM workflow
bd6a48f7
elliette elliette requested a review 2 years ago
elliette elliette removed review request 2 years ago
elliette elliette requested a review from kenzieschmoll kenzieschmoll 2 years ago
polina-c
polina-c approved these changes on 2023-06-16
elliette elliette changed the title Use `github.event.pull_request.head.sha` is PR reference in DCM workflow Use `github.event.pull_request.head.sha` as PR reference in DCM workflow 2 years ago
CoderDake
CoderDake approved these changes on 2023-06-16
elliette elliette added autosubmit
auto-submit auto-submit merged bcf29a26 into master 2 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone