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

fix devcontainer name for codespaces #153

Merged
merged 1 commit into from
May 24, 2024

Conversation

trxcllnt
Copy link
Contributor

@trxcllnt trxcllnt commented May 24, 2024

This PR fixes launching the devcontainers in GitHub Codespaces:
image

@trxcllnt trxcllnt added improvement Improves an existing functionality non-breaking Introduces a non-breaking change labels May 24, 2024
@trxcllnt trxcllnt requested a review from bdice May 24, 2024 18:37
@cjnolet
Copy link
Member

cjnolet commented May 24, 2024

/merge

@rapids-bot rapids-bot bot merged commit b1f17ed into branch-24.06 May 24, 2024
54 checks passed
difyrrwrzd added a commit to difyrrwrzd/cuvs that referenced this pull request Aug 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Improves an existing functionality non-breaking Introduces a non-breaking change
Projects
Development

Successfully merging this pull request may close these issues.

3 participants