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.

Sign up for GitHub

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

Jump to bottom

The devcontainer.json settings isn't work with the current develop branch. #2323

Closed
BDisp opened this issue Feb 6, 2023 · 0 comments · Fixed by #2324
Closed

The devcontainer.json settings isn't work with the current develop branch. #2323

BDisp opened this issue Feb 6, 2023 · 0 comments · Fixed by #2324
Labels
build-and-deploy Issues regarding to building and deploying Terminal.Gui

Comments

@BDisp
Copy link
Collaborator

BDisp commented Feb 6, 2023 •
edited

The build fail in the container. I was alerted whit this issue because I was receiving email from my fork that a Code scanning workflow run with the message Code scanning: All jobs have failed.
BDisp added a commit to BDisp/Terminal.Gui that referenced this issue Feb 6, 2023
@BDisp
Fixes gui-cs#2323. The devcontainer.json settings isn't work with the…
651ee21 
… current develop branch.
@BDisp BDisp mentioned this issue Feb 6, 2023
Merged
8 tasks
@tig tig added the build-and-deploy Issues regarding to building and deploying Terminal.Gui label Feb 7, 2023
@tig tig closed this as completed in #2324 Feb 7, 2023
tig added a commit that referenced this issue Feb 7, 2023
@tig
Merge pull request #2324 from BDisp/devcontainer-fix_2323
8bfe995 
Fixes #2323. The devcontainer.json settings isn't work with the current develop branch.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
build-and-deploy Issues regarding to building and deploying Terminal.Gui
Projects
None yet
Milestone
No milestone
2 participants
@tig @BDisp