Change CI to publish on GitHub pages

Change the GitHub actions to publish the generated HTML when a PR is
merged to the "main" branch.

.github/workflows/checks.yml

@@ -46,3 +46,30 @@ jobs:
         cmake -B build
         make -j 2 -C build
         ctest --test-dir build --label-exclude gpu
+
+  upload-pages:
+    runs-on: ubuntu-latest
+    needs: [checks, icpx]
+    #if: ${{ github.event_name == 'push' }}
+    steps:
+    - uses: actions/download-artifact@v4
+      with:
+        name: docs
+    - uses: actions/upload-pages-artifact@v3
+      with:
+        path: html
+
+  publish-pages:
+    runs-on: ubuntu-latest
+    needs: upload-pages
+    permissions:
+      pages: write
+      id-token: write
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+    - uses: actions/deploy-pages@v4