Skip to content

Upload a copy of the dist/ dir#11

Merged
ahernandez411 merged 1 commit into
mainfrom
upload-dist
Aug 6, 2024
Merged

Upload a copy of the dist/ dir#11
ahernandez411 merged 1 commit into
mainfrom
upload-dist

Conversation

@danielle-casella-adams
Copy link
Copy Markdown
Contributor

Summary of PR changes

  • This is to help users when they can't get their local build to match what the github runner expects. In most cases it is easier to run the build locally then commit, but in some cases you might have to download this, review the changes and commit it to your branch so the build runner is satisfied with the recompiled action.

@danielle-casella-adams danielle-casella-adams requested a review from a team August 5, 2024 21:20
- This is to help users when they can't get their local build to match what the github runner expects.  In most cases it is easier to run the build locally then commit, but in some cases you might have to download this, review the changes and commit it to your branch so the build runner is satisfied with the recompiled action.
@ahernandez411 ahernandez411 merged commit 530f22f into main Aug 6, 2024
@ahernandez411 ahernandez411 deleted the upload-dist branch August 6, 2024 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants