Merge remote-tracking branch 'origin/main'

henkvancann · Feb 25, 2024 · c698e2f · c698e2f
2 parents 9701a84 + 2db4c4d
commit c698e2f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs_deploy.yml b/.github/workflows/docs_deploy.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - hvc
   pull_request:
     branches:
       - main