Skip to content
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

Add tutorial for setting up the remote execution infra #414

Merged
merged 9 commits into from
Oct 11, 2023

Conversation

z8v
Copy link
Contributor

@z8v z8v commented Sep 7, 2023

No description provided.

@z8v z8v requested a review from benradf as a code owner September 7, 2023 11:05
Copy link
Member

@benradf benradf left a comment

Choose a reason for hiding this comment

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

Great tutorial!

docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
z8v and others added 5 commits September 10, 2023 11:22
Co-authored-by: Ben Radford <104896700+benradf@users.noreply.github.com>
Co-authored-by: Ben Radford <104896700+benradf@users.noreply.github.com>
Co-authored-by: Ben Radford <104896700+benradf@users.noreply.github.com>
Co-authored-by: Ben Radford <104896700+benradf@users.noreply.github.com>
Co-authored-by: Ben Radford <104896700+benradf@users.noreply.github.com>
@z8v
Copy link
Contributor Author

z8v commented Sep 10, 2023

Thanks a lot for the fixes.

Copy link
Member

@aherrmann aherrmann left a comment

Choose a reason for hiding this comment

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

Great work! Very clear and to the point.

docs/remote-execution-tutorial.md Outdated Show resolved Hide resolved
@aherrmann aherrmann added the merge-queue merge on green CI label Oct 11, 2023
@mergify mergify bot merged commit effff47 into master Oct 11, 2023
15 checks passed
@mergify mergify bot deleted the add-remote-exec-doc branch October 11, 2023 13:19
@mergify mergify bot removed the merge-queue merge on green CI label Oct 11, 2023
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.

3 participants