Start v0.5.1 release

.github/workflows/ci.yml

@@ -4,6 +4,7 @@ permissions:
   contents: read
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - main
@@ -225,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

.github/workflows/release.yml

@@ -18,7 +18,9 @@ jobs:
     runs-on: ubuntu-latest
     if: ${{ github.repository_owner == '0xMiden' }}
     permissions:
-      contents: read
+      contents: write
+    env:
+      CARGO_TARGET_DIR: /tmp/cargo-target
     outputs:
       releases: ${{ steps.publish.outputs.releases }}
       releases_created: ${{ steps.publish.outputs.releases_created }}
@@ -115,9 +117,35 @@ jobs:
       - *checkout
       - *install-rust
       - name: Create release PR
+        id: release-pr
         uses: release-plz/action@v0.5
         with:
           command: release-pr
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
+      - name: Trigger CI for release PR
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const prOutputRaw = process.env.RELEASE_PLZ_PR;
+            if (!prOutputRaw) {
+              core.info('release-plz did not create or update a release PR; skipping CI trigger.');
+              return;
+            }
+            const releasePr = JSON.parse(prOutputRaw);
+            if (!releasePr?.head_branch) {
+              core.info('release-plz PR output missing head branch; skipping CI trigger.');
+              return;
+            }
+            const headRef = releasePr.head_branch;
+            await github.rest.actions.createWorkflowDispatch({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              workflow_id: 'ci.yml',
+              ref: headRef,
+            });
+            core.info(`Triggered CI workflow for ${headRef}.`);
+        env:
+          RELEASE_PLZ_PR: ${{ steps.release-pr.outputs.pr }}

.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",