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

mstorsjo · Feb 23, 2024 · 9d97bdd · 9d97bdd
1 parent 608919c
commit 9d97bdd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,8 +1,5 @@
 name: Builds
 on:
-  push:
-    branches:
-      - '**'
   pull_request:
   schedule:
     - cron: '0 0 * * *'

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -39,6 +39,7 @@ jobs:
           cat $GITHUB_OUTPUT
 
   docker-build:
+    if: false
     needs: [prepare]
     runs-on: ubuntu-latest
     strategy: