Progress on removing verify.py (#364)

This removes verify.py. Still to fix are: 1. cpp coverage 2. windows builds 3. PMR builds
OpenCyphal · Jan 4, 2025 · 0e53f3e · 0e53f3e
1 parent 295b695
commit 0e53f3e
Show file tree

Hide file tree

Showing 40 changed files with 2,426 additions and 1,864 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