Merge pull request #39 from RalfJung/merge-queue

RalfJung · web-flow · commit 0a9a418301cb · 2024-02-10T17:39:49.000Z
don't run the CI job on master
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,8 +3,6 @@ name: CI
 on:
   pull_request:
   merge_group:
-  push:
-    branches: ['master']
   schedule:
     - cron: '10 2 * * *' # At 02:10 UTC every day (a bit after rustup-components-history).
 
