WIP Fixes

Author: Blaisorblade

.devcontainer/devcontainer.json

@@ -3,21 +3,20 @@
   "name": "SkyLabs FM default",
   "image":
     "ghcr.io/skylabsai/workspace:fm-default",
-  // "mounts": [
-  //   {
-  //     "source": "${env:DUNE_CACHE_DOCKER}",
-  //     "target": "/home/coq/.cache/dune",
-  //     "type": "bind"
-  //   }
-  // ],
+  "mounts": [
+    "source=${localEnv:HOME}/.cache/dune,target=/home/coq/.cache/dune,type=bind,consistency=cached"
+    // Preferred, but might need more setup: test!
+    // "source=${localEnv:HOME}/.cache/remote_dune,target=/home/coq/.cache/dune,type=bind,consistency=cached"
+    // "source=${env:DUNE_CACHE_DOCKER},target=/home/coq/.cache/dune,type=bind,consistency=cached"
+  ],
   "runArgs": [
     "--platform",
     "linux/amd64"
   ],
   "customizations": {
     "vscode": {
       "settings": {
-        "vscoq.path": "/workspaces/workspace/_build/install/default/bin/vsrocqtop"
+        "vsrocq.path": "/workspaces/workspace/_build/install/default/bin/vsrocqtop"
       },
       "extensions": [
         "rocq-prover.vsrocq",