Merge pull request #39 from RalfJung/merge-queue

don't run the CI job on master
rust-lang · Feb 10, 2024 · 0a9a418 · 0a9a418
2 parents 9baf93d + a8e8d74
commit 0a9a418
Showing 1 changed file with 0 additions and 2 deletions.
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).