ci: publish output viewer to gh pages

Author: 404Simon

.github/workflows/deploy-pages.yml

@@ -0,0 +1,34 @@
+name: Deploy to GitHub Pages
+
+on:
+  push:
+    branches: [main]
+    paths: ['output/**']
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: pages
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Prepare static files
+        run: cp output/viewer.html output/index.html
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: output/
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

output/viewer.html

@@ -618,6 +618,16 @@ <h3>All Runs</h3>
     try { render(parseCSV(text)); } catch(e) { console.error(e); }
   }).catch(() => {});
 }
+
+// Auto-load results.csv when served from a web server (e.g. GitHub Pages)
+if (!csvUrl && window.location.protocol.startsWith('http')) {
+  fetch('results.csv').then(r => {
+    if (r.ok) return r.text();
+    throw new Error('Not found');
+  }).then(text => {
+    try { render(parseCSV(text)); } catch(e) { console.error(e); }
+  }).catch(() => {});
+}
 </script>
 </body>
 </html>