From 29ddfafb7acd1b8e7784f0f6d2d0912a27d2a64e Mon Sep 17 00:00:00 2001
From: sagudev <16504129+sagudev@users.noreply.github.com>
Date: Sun, 26 Feb 2023 15:24:26 +0100
Subject: [PATCH] Quick check that is run on PR and on forks push

---
 .github/workflows/{pull-request.yml => quick-check.yml} | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)
 rename .github/workflows/{pull-request.yml => quick-check.yml} (77%)

diff --git a/.github/workflows/pull-request.yml b/.github/workflows/quick-check.yml
similarity index 77%
rename from .github/workflows/pull-request.yml
rename to .github/workflows/quick-check.yml
index 27505677fdc..f72131cf973 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/quick-check.yml
@@ -1,7 +1,9 @@
-name: Pull request
+name: Quick check
 on:
   pull_request:
-    branches: ["**"]
+  push:
+    branches:
+      [ "**", "!auto", "!try", "!try-linux", "!try-mac", "!try-windows", "!try-wpt"]
 
 env:
   RUST_BACKTRACE: 1
@@ -9,6 +11,7 @@ env:
 
 jobs:
   build-linux:
+    if: github.repository == 'servo/servo' || github.event_name == 'push'
     name: Build (Linux)
     runs-on: ubuntu-20.04
     steps: