Start 0.5.1 release - attempt 2

.github/workflows/ci.yml

@@ -226,7 +226,9 @@ jobs:
           fi
       - name: Test
         run: |
-          cargo make test -E 'package(miden-integration-node-tests)'
+          # Run sequentially as a workaround until
+          # https://github.com/0xMiden/compiler/issues/766 is resolved
+          cargo make test -E 'package(miden-integration-node-tests)' --test-threads 1
 
   cargo_publish_dry_run:
     name: cargo publish dry run

.vscode/launch.json

@@ -97,11 +97,11 @@
     {
       "type": "lldb",
       "request": "launch",
-      "name": "Debug unit tests in library 'midenc_frontend_wasm2'",
+      "name": "Debug unit tests in library 'midenc_frontend_wasm'",
       "cargo": {
-        "args": ["test", "--no-run", "--lib", "--package=midenc-frontend-wasm2"],
+        "args": ["test", "--no-run", "--lib", "--package=midenc-frontend-wasm"],
         "filter": {
-          "name": "midenc_frontend_wasm2",
+          "name": "midenc_frontend_wasm",
           "kind": "lib"
         }
       },
@@ -169,21 +169,6 @@
       "cwd": "${workspaceFolder}",
       "sourceLanguages": ["rust"]
     },
-    {
-      "type": "lldb",
-      "request": "launch",
-      "name": "Debug unit tests in library 'midenc_debug'",
-      "cargo": {
-        "args": ["test", "--no-run", "--lib", "--package=midenc-debug"],
-        "filter": {
-          "name": "midenc_debug",
-          "kind": "lib"
-        }
-      },
-      "args": [],
-      "cwd": "${workspaceFolder}",
-      "sourceLanguages": ["rust"]
-    },
     {
       "type": "lldb",
       "request": "launch",