Getting rid of verify.py

This change goes all-in on Cmake presets.
OpenCyphal · Jan 1, 2025 · 9393324 · 9393324
1 parent ee89cee
commit 9393324
Show file tree

Hide file tree

Showing 20 changed files with 686 additions and 1,158 deletions.
diff --git a/verification/.devcontainer/devcontainer.json → .devcontainer/c_cpp/devcontainer.json b/verification/.devcontainer/devcontainer.json → .devcontainer/c_cpp/devcontainer.json
@@ -1,8 +1,8 @@
 {
     "name": "C/C++ verification environment",
     "image": "ghcr.io/opencyphal/toolshed:ts22.4.10",
-    "workspaceFolder": "/workspace",
-    "workspaceMount": "source=${localWorkspaceFolder}/..,target=/workspace,type=bind,consistency=delegated",
+    "workspaceFolder": "/repo",
+    "workspaceMount": "source=${localWorkspaceFolder},target=/repo,type=bind,consistency=delegated",
     "customizations": {
         "vscode": {
             "extensions": [

diff --git a/.devcontainer/devcontainer.json → .devcontainer/python/devcontainer.json b/.devcontainer/devcontainer.json → .devcontainer/python/devcontainer.json