Remove push trigger

Author: christophfroehlich

.github/workflows/humble-semi-binary-downstream-build.yml

@@ -7,14 +7,10 @@ on:
   pull_request:
     branches:
       - humble
-  push:
-    branches:
-      - humble
 
 concurrency:
-  # cancel previous runs of the same workflow, except for pushes on humble branch
   group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: ${{ !startsWith(github.ref, '/refs/heads') }}
+  cancel-in-progress: true
 
 jobs:
   build-downstream:

.github/workflows/rolling-semi-binary-downstream-build.yml

@@ -7,14 +7,10 @@ on:
   pull_request:
     branches:
       - master
-  push:
-    branches:
-      - master
 
 concurrency:
-  # cancel previous runs of the same workflow, except for pushes on master branch
   group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: ${{ !startsWith(github.ref, '/refs/heads') }}
+  cancel-in-progress: true
 
 jobs:
   build-downstream: