Merge branch 'main' into vherremi/commitSHAUpdate

Author: thpierce

.github/workflows/post-release-version-bump.yml

@@ -144,5 +144,5 @@ jobs:
           git add CHANGELOG.md
           if ! git diff --quiet --cached; then
             git commit -m "Force our CHANGELOG to override merge conflicts"
-            git push origin "post-release-${VERSION}"
+            git push origin "prepare-main-for-next-dev-cycle-${VERSION}"
           fi

.github/workflows/pr-build.yml

@@ -1,6 +1,12 @@
 name: Python Instrumentation PR Build
 on:
   pull_request:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - labeled
+      - unlabeled
     branches:
       - main
       - "release/v*"