Merge branch 'main' into develop

.github/pull_request_template.md

@@ -0,0 +1,14 @@
+Changes proposed in this PR:
+- 
+- 
+
+This PR fixes #
+
+### PR Author Checklist
+
+- [ ] If new release, is version bumped?
+- [ ] Correct target branch selected (if unsure, select `develop`)
+- [ ] Descriptive pull request title added
+- [ ] Source branch up-to-date with target branch
+- [ ] Documentation updated
+- [ ] Tests passing

.github/workflows/static_html_deploy.yml

@@ -4,7 +4,7 @@ name: Build and deploy static content to Pages
 on:
   # Runs on pushes targeting the default branch
   push:
-    branches: ["main"]
+    branches: ["main", "develop"]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -24,6 +24,7 @@ jobs:
   # Single deploy job since we're just deploying
    build:
     runs-on: ubuntu-latest
+    environment: github-pages
     steps:
       - uses: actions/checkout@v4
         with: