Skip to content

Create devcontainer.json #995

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
wants to merge 1 commit into from
Closed

Conversation

Graysonbarton
Copy link

Fix dependencies

Copy link
Contributor

🚀 Commit 5f8de3a Deployed on https://web-php-pr-995.preview.thephp.foundation

@@ -0,0 +1,5 @@
{
"image": "mcr.microsoft.com/devcontainers/universal:2",
Copy link
Member

Choose a reason for hiding this comment

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

Thanks for the PR!

Shouldn't we use mcr.microsoft.com/devcontainers/php:8.2 instead?
(I haven't used this file before, so it's just a question)

Copy link
Contributor

github-actions bot commented Jul 6, 2024

No feedback was provided. The issue is being suspended because we assume that you are no longer experiencing the problem. If this is not the case and you are able to provide the information that was requested earlier, please do so. Thank you.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants