Add deployment workflow

.github/workflows/deploy.yaml

@@ -0,0 +1,19 @@
+name: Deploy
+
+on:
+    workflow_dispatch:
+
+jobs:
+    deploy:
+        runs-on: ubuntu-latest
+        steps:
+            - uses: actions/checkout@v4
+              with:
+                  repository: canleskis/particular
+                  path: particular
+
+            - name: Deploy Benchmarks
+              run: |
+                for file in "${GITHUB_WORKSPACE}/particular/particular/benches/results/*"; do
+                    echo $file
+                done

scripts/deploy_benchmarks.sh

@@ -0,0 +1,14 @@
+# Add all the benchmarks to a single json file in a list.
+
+out_dir=$1
+particular_dir=$2
+name=${2:-"benchmarks"}
+
+buffer=""
+
+for file in $particular_dir/particular/benches/results/*-*-*.json; do
+    buffer+=$(cat "$file")
+    buffer+=","
+done
+
+echo "[${buffer%?}]" > $out_dir/$name.json