Devcontainers stale #1143
Description
The devcontainer is stale and doesn't auto-update the container, needs to be rebuilt via github actions or something like that.
{{ message }}
The devcontainer is stale and doesn't auto-update the container, needs to be rebuilt via github actions or something like that.