Skip to content

Update devenv to 20260930-111347 - #3012

Merged
adamnfish-gu merged 1 commit into
mainfrom
devenv/update-20260930-111347
Oct 22, 2026
Merged

adamnfish-gu merged 1 commit into
mainfrom
devenv/update-20260930-111347

Conversation

@adamnfish-gu

@adamnfish-gu adamnfish-gu commented Oct 20, 2026 •

Copy link
Copy Markdown
Contributor

This PR updates devenv from 20260408-150528 to 20260930-111347 and regenerates the devcontainer configuration.

Changes in .devcontainer/shared/devcontainer.json:

  • The base image is now pinned to the Ubuntu LTS image (ubuntu26.04) rather than the floating ubuntu tag.
  • runArgs now sets --shm-size=512m, which gives the container 512MB of shared memory (/dev/shm) by default instead of Docker's 64MB.
  • The post-create command now prints a "setup complete" message when the container has finished its installation steps.

devenv no longer sets CPU or memory limits on the container, so it uses whatever your container runtime makes available. For Docker Desktop, this is the amount set in its Resources settings. If you set containerSize in ~/.config/devenv/devenv.yaml, you can remove it because it no longer has any effect.

Please review this PR and approve or merge it if you are happy with it. It may be merged automatically after it is approved. After it is merged, anyone using the devcontainer needs to pull the change, run devenv generate and rebuild their devcontainer for the change to take effect.


This PR was created by an automated rollout of devenv across the organisation, run from guardian/devenv with GitHub Copilot CLI. Progress is tracked on the project board. If you review or comment on this PR, it will be flagged for the DevX/AI and Automation team to follow up.

@adamnfish-gu adamnfish-gu added the maintenance Departmental tracking: maintenance work, not a fix or a feature label Oct 20, 2026
@adamnfish-gu
adamnfish-gu requested a review from a team as a code owner October 20, 2026 15:30
@changeset-bot

changeset-bot Bot commented Oct 20, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: fc0a267

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@adamnfish-gu
adamnfish-gu merged commit a2cb29b into main Oct 22, 2026
11 checks passed
@adamnfish-gu
adamnfish-gu deleted the devenv/update-20260930-111347 branch October 22, 2026 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Departmental tracking: maintenance work, not a fix or a feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants