Adds simulator_device_demo to digital tutorials nav

.github/pull_bloqade_submodules/action.yml

@@ -32,3 +32,18 @@ runs:
           repository: QuEraComputing/bloqade-analog
           path: 'submodules/bloqade-analog'
           ref: ${{ steps.bloqade_analog_extract_version.outputs.version }}
+
+      - name: extract bloqade-lanes version
+        id: bloqade_lanes_extract_version
+        shell: bash
+        run: |
+          VERSION=$(uv pip show bloqade-lanes | awk '/^Version: / {print "v"$2}')
+          echo "version=$VERSION" >> $GITHUB_OUTPUT
+
+      - name: clone the latest bloqade-lanes release
+        id: clone_bloqade_lanes
+        uses: actions/checkout@v5
+        with:
+          repository: QuEraComputing/bloqade-lanes
+          path: 'submodules/bloqade-lanes'
+          ref: ${{ steps.bloqade_lanes_extract_version.outputs.version }}

.github/workflows/dev-doc-nightly.yml

@@ -32,6 +32,13 @@ jobs:
           repository: QuEraComputing/bloqade-circuit
           path: 'submodules/bloqade-circuit'
 
+      - name: clone the latest bloqade-lanes
+        id: clone_bloqade_lanes
+        uses: actions/checkout@v6
+        with:
+          repository: QuEraComputing/bloqade-lanes
+          path: 'submodules/bloqade-lanes'
+
       - name: clone the latest bloqade-analog
         id: clone_bloqade_analog
         uses: actions/checkout@v6
@@ -40,7 +47,7 @@ jobs:
           path: 'submodules/bloqade-analog'
 
       - name: add local repos as dependencies
-        run: uv add submodules/bloqade-circuit submodules/bloqade-analog
+        run: uv add submodules/bloqade-circuit submodules/bloqade-lanes submodules/bloqade-analog
 
       - name: Set up build cache
         uses: actions/cache@v5