Merge branch 'develop' into break/operators

Author: gatesn

.github/workflows/ci.yml

@@ -4,11 +4,7 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.ref != 'refs/heads/develop' }}
 
-on:
-  push:
-    branches: ["develop"]
-  pull_request: { }
-  workflow_dispatch: { }
+on: [push, pull_request, workflow_dispatch]
 
 permissions:
   actions: read