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: