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

build: devcontainer improvements and documentation #11162

Merged
merged 1 commit into from
Jun 2, 2023

Conversation

Joibel
Copy link
Member

@Joibel Joibel commented Jun 2, 2023

Motivation

Improving devcontainer support

Modifications

Devcontainer json was wrong in my last update. For some reason vscode was fine with it and actioned it.

Add the port numbers for devcontainer too, appPort is the only one that works with the CLI.

Added some more docs for devcontainer including the CLI

Verification

Tested with vscode and devcontainer cli.

Devcontainer json was wrong in my last update. For some reason vscode
was fine with it and actioned it.

Add the port numbers for devcontainer too, appPort is the only one
that works with the CLI.

Added some more docs for devcontainer including the CLI

Signed-off-by: Alan Clucas <alan@clucas.org>
@Joibel Joibel marked this pull request as ready for review June 2, 2023 13:15
@terrytangyuan terrytangyuan changed the title fix: devcontainer improvements and docuementation build: devcontainer improvements and documentation Jun 2, 2023
@terrytangyuan terrytangyuan merged commit ba82fd8 into argoproj:master Jun 2, 2023
JPZ13 pushed a commit to pipekit/argo-workflows that referenced this pull request Jul 4, 2023
jeremyhager pushed a commit to jeremyhager/argo-workflows that referenced this pull request Jul 7, 2023
Signed-off-by: Alan Clucas <alan@clucas.org>
Signed-off-by: Jeremy Hager <47301461+jeremyhager@users.noreply.github.com>
@Joibel Joibel deleted the devcontainer branch January 15, 2024 15:27
@agilgur5 agilgur5 added area/build Build or GithubAction/CI issues area/docs Incorrect, missing, or mistakes in docs labels Jan 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/build Build or GithubAction/CI issues area/docs Incorrect, missing, or mistakes in docs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants