dashboard: Add single PR view

.github/workflows/fectch-ci-data.yml

@@ -0,0 +1,42 @@
+name: Fetch CI Data
+run-name: Fetch CI Data
+on:
+  schedule:
+    - cron: '0 */2 * * *'
+  workflow_dispatch:
+
+jobs:
+  fetch-and-commit-data:
+    runs-on: ubuntu-22.04
+
+    env:
+      NODE_ENV: production
+      TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Update dashboard data
+        run: |
+          # fetch ci nightly data as temporary file
+          node scripts/fetch-ci-nightly-data.js | tee tmp-data.json
+          node scripts/fetch-ci-pr-data.js | tee tmp-data2.json
+
+          # switch to a branch specifically for holding latest data
+          git config --global user.name "GH Actions Workflow"
+          git config --global user.email "<gha@runner>"
+          git fetch --all
+          git checkout latest-dashboard-data
+
+          # back out whatever data was there
+          git reset HEAD~1
+
+          # overwrite the old data
+          mkdir -p data/
+          mv tmp-data.json data/job_stats.json
+          mv tmp-data2.json data/check_stats.json
+
+          # commit
+          git add data
+          git commit -m '[skip ci] latest ci nightly data'
+          git push --force