Address code review comments.

Author: ilectra

.github/workflows/deploy-docs.yml

@@ -13,10 +13,10 @@ permissions:
   pages: write
   id-token: write
 
-# Only allow one deployment at a time; do not cancel in-progress deployments
+# Only allow one deployment at a time; cancel in-progress deployments
 concurrency:
   group: "pages"
-  cancel-in-progress: false
+  cancel-in-progress: true
 
 jobs:
   build:
@@ -60,9 +60,10 @@ jobs:
           path: site
 
   deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+    needs: build
+    name: github-pages
+    url: ${{ steps.deployment.outputs.page_url }}
+    if: github.event_name == 'push' 
     runs-on: ubuntu-latest
     needs: build
     steps:

docs/dev/index.md

@@ -1 +1,2 @@
-This is the doxygen docs
+This file will be overwritten by the deploy-docs action to become the index.html
+of the doxygen docs