Added a Dockerfile and spec for a VSCode dev container for CN.

[aschwerdfeger-galois]

No description provided.

[dc-mak]

Can you add this to the Docker CI to make sure it doesn't break in the future? I'm somewhat surprised the existing containers don't do something similar already.

[aschwerdfeger-galois]

I added a section to docker.yml that should put this container through the same motions as the other two.

[dc-mak]

For future reference, long commit headers get cut off in GitHub and git log, so if you can shorten the header, please do: https://github.com/rems-project/cn/blob/main/doc/CONTRIBUTING.md#what-goes-in-a-commit

[podhrmic]

@aschwerdfeger-galois can you modify this in the same was as this PR suggests? That speeds up the build significantly.

[aschwerdfeger-galois]

Done. I modified the new workflow spec to add devcontainer to the matrix alongside redhat and ubuntu, which seems to be fine functionally, although the nomenclature might need some tweaking.

[ZippeyKeys12]

@podhrmic If this looks good to you, I'd like to merge

[aschwerdfeger-galois]

Question: What will be the URL for pulling the dev container image after this is merged? The spec in devcontainer.json currently has VSCode building the image locally, so we should probably change that to pull the CI-built version instead.

[ZippeyKeys12]

ghcr.io/rems-project/cn:release-devcontainer

[podhrmic]

LGTM. I don't know why the spec testing is failing, but once that is fixed the PR can IMHO be merged.

[ZippeyKeys12]

It's just flaky (#96)