Enable developer CI on push

Author: mquinzin

.github/workflows/developer_ci.yml

@@ -2,7 +2,8 @@ name: Developer CI
 
 on:
 
-  pull_request:
+  push:
+  # pull_request:
     # # CI is disabled if ONLY workflow files are changed
     # paths-ignore:
     #   - '.github/workflows/**'