WIP: github: Disable the regular push job, and the big docker build

Author: mstorsjo

.github/workflows/build.yml

@@ -1,8 +1,5 @@
 name: Builds
 on:
-  push:
-    branches:
-      - '**'
   pull_request:
   schedule:
     - cron: '0 0 * * *'

.github/workflows/docker.yml

@@ -36,6 +36,7 @@ jobs:
           cat $GITHUB_OUTPUT
 
   docker-build-dev:
+    if: false
     needs: [prepare]
     runs-on: ubuntu-latest
     steps: