Add build-docs workflow

Author: microbit-grace

.github/workflows/build-docs.yml

@@ -0,0 +1,38 @@
+name: build-docs
+on:
+  release:
+    types: [created]
+  push:
+    branches:
+      - main
+    tags:
+      - "**"
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+      - run: npm ci
+      - name: Build docs
+        run: npm run docs
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: ./docs/build
+
+  deploy:
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

package-lock.json

@@ -38,6 +38,7 @@
     "vitest": "^2.0.0"
   },
   "dependencies": {
+    "@microbit/microbit-fs": "^0.9.2",
     "@microbit/microbit-universal-hex": "^0.2.2",
     "@types/web-bluetooth": "^0.0.20",
     "crelt": "^1.0.6",

package.json

@@ -20,6 +20,8 @@ import { MicrobitWebUSBConnection } from "../lib/usb";
 import { MicrobitRadioBridgeConnection } from "../lib/usb-radio-bridge";
 import "./demo.css";
 import { MagnetometerDataEvent } from "../lib/magnetometer";
+import { MicropythonFsHex } from "@microbit/microbit-fs";
+import { BoardId } from "../lib/board-id";
 
 type ConnectionType = "usb" | "bluetooth" | "radio";
 
@@ -209,9 +211,15 @@ const createFlashSection = (): Section => {
           const file = (e.currentTarget as HTMLInputElement).files?.item(0);
           if (file) {
             const text = await file.text();
+            const boardId = BoardId.forVersion("V1").id;
+            console.log(boardId);
+            const micropythonFs = new MicropythonFsHex([
+              { hex: text, boardId },
+            ]);
             if (connection.flash) {
               console.time("flash");
-              await connection.flash(createUniversalHexFlashDataSource(text), {
+              const hex = micropythonFs.getIntelHex(boardId);
+              await connection.flash(async () => hex, {
                 partial: true,
                 progress: (percentage: number | undefined) => {
                   console.log(percentage);