[+] add GHA workflow to publish devel docs

.github/workflows/build.yml

@@ -170,5 +170,12 @@ jobs:
     - name: Install dependencies
       run: pip install mike mkdocs-material mkdocs-glightbox
 
+    - name: Check if we should push to gh-pages
+      # if: ${{ github.event_name == 'pull_request' && github.ref == 'refs/heads/master' }}
+      run: |
+        echo ${{ github.event_name }}
+        echo ${{ github.ref }}
+        echo "push_opt=--debug" >> $GITHUB_ENV 
+
     - name: Build mkdocs
-      run: mike --debug deploy devel
+      run: mike ${{ env.push_opt }} deploy devel