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 Lightning Studio Launch Button #851

Open
wants to merge 6 commits into
base: master
Choose a base branch
from

Conversation

nilsleh
Copy link

@nilsleh nilsleh commented Aug 1, 2024

Closes #850

This PR adds a launch button for Lightning Studios a quiet powerful development platform for Deep Learning applications with GPU support.

As stated in the issue, we would like to make this option available to more easily run tutorials for our Deep Learning Uncertainty library, where some require GPUs, and I would imagine that it could be a quiet useful tool for other documentations.

@nilsleh
Copy link
Author

nilsleh commented Sep 18, 2024

@agoose77 sorry to ping you, but wondering if might have time to review or give your opinion about the idea?

@nilsleh
Copy link
Author

nilsleh commented Sep 30, 2024

@chrisjsewell @choldgraf sorry to ping you as well, but was hoping to get a response :)

@nilsleh
Copy link
Author

nilsleh commented Oct 8, 2024

@jangenoe sorry to ping you you as well, but since you have been active on this PR before, I thought I would try :)

@nilsleh
Copy link
Author

nilsleh commented Oct 14, 2024

@jangenoe @chrisjsewell @choldgraf ping

docs/content/launch.md Outdated Show resolved Hide resolved
@agoose77
Copy link
Collaborator

@nilsleh thanks for your patience here! Let me just run this past the other maintainers to make sure there aren't any policies about which products we support in our config!

@nilsleh
Copy link
Author

nilsleh commented Oct 23, 2024

@agoose77 sorry for the ping abuse, but wondering if there has been already a decision on this?

@nilsleh
Copy link
Author

nilsleh commented Oct 30, 2024

@agoose77 sorry to ping again, we would like to include this in the next release that we are planning.

@nilsleh
Copy link
Author

nilsleh commented Nov 7, 2024

@agoose77

if provider.lower() != "github":
SPHINX_LOGGER.warning(f"Provider {provider} not supported on Lightning.")
else:
github_path = f"%2F{org}%2F{repo}%2Fblob%2F{branch}%2F{path_rel_repo}"
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think we probably need to URL escape these.

Copy link
Author

Choose a reason for hiding this comment

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

@agoose77 is the latest commit what you were looking for? At least the tests seem to pass again. Let me know if I need to change something else.

Copy link
Collaborator

Choose a reason for hiding this comment

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

Hi @nilsleh not quite -- I'm worried about the case where org, repo, branch, or path_rel_repo aren't URL escaped properly.

Equally, it's something that the other launchers would need to worry about, so I'll just merge for now!

@agoose77
Copy link
Collaborator

To get this over the line, we need to update the snapshot tests.

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.

Add Additional Custom Launch Button
4 participants