From 37f1893bd936f8718496c0d5e30eeb547e6647f2 Mon Sep 17 00:00:00 2001
From: Omar Tawfik <15987992+OmarTawfik@users.noreply.github.com>
Date: Fri, 8 Nov 2024 03:36:52 +0000
Subject: [PATCH] re-enable `ci` workflow on `main` (#1141)

It is used to update the cache with a fresh copy, and prevent it from
getting bigger over time.
---
 .github/workflows/ci.yml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ee8924093d..43cf90bb9e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,10 +8,8 @@ on:
   # Run on every pull request:
   pull_request: {}
 
-  # Run on pushes to any branch except 'main', as we use a merge queue, and test PRs individually before merging them:
-  push:
-    branches-ignore:
-      - "main"
+  # Run on pushes to any branch even 'main', as it is used to refresh the CI cache from scratch, so that it doesn't grow indefinitely:
+  push: {}
 
 # In the event that there is a new push to the ref, cancel any running jobs because they are now obsolete, wasting resources.
 concurrency: