Dev Container performance (#25)

* Fixed devcontainer format

* Added dotnet-linux-x64 devcontainer

* Changed devcontainer image to python

* Pinned OS version

* Updated devcontainer base image

* Reverted changes to devcontainer

* Moved linux devcontainer file

* Updated dotnet-publish to use subfolder

.devcontainer/devcontainer.json

@@ -18,8 +18,8 @@
     "ghcr.io/devcontainers/features/powershell:1": {
       "version": "7.3"
     }
-},
-"customizations": {
+  },
+  "customizations": {
     "vscode": {
       "extensions": [
         "DavidAnson.vscode-markdownlint",
@@ -35,5 +35,5 @@
         "yzhang.markdown-all-in-one"
       ]
     }
-}
+  }
 }

.devcontainer/dotnet-linux-x64/.devcontainer/devcontainer.json

@@ -0,0 +1,11 @@
+{
+  "image": "mcr.microsoft.com/devcontainers/cpp:1.0.0-buster",
+  "features": {
+    "ghcr.io/devcontainers/features/python:1": {
+      "version": "3.11"
+    },
+    "ghcr.io/devcontainers/features/dotnet:1": {
+      "version": "6"
+    }
+  }
+}

.github/workflows/dotnet-publish.yml

@@ -56,6 +56,7 @@ jobs:
       uses: devcontainers/ci@v0.3
       with:
         push: never
+        subFolder: .devcontainer/dotnet-linux-x64
         runCmd: | 
           cd ./src/dotnet
           chmod 755 *.sh