mirror of
https://github.com/servo/servo.git
synced 2025-08-07 14:35:33 +01:00
Quick check that is run on PR and on forks push
This commit is contained in:
parent
d31a6ccb5c
commit
29ddfafb7a
1 changed files with 5 additions and 2 deletions
|
@ -1,7 +1,9 @@
|
||||||
name: Pull request
|
name: Quick check
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
branches: ["**"]
|
push:
|
||||||
|
branches:
|
||||||
|
[ "**", "!auto", "!try", "!try-linux", "!try-mac", "!try-windows", "!try-wpt"]
|
||||||
|
|
||||||
env:
|
env:
|
||||||
RUST_BACKTRACE: 1
|
RUST_BACKTRACE: 1
|
||||||
|
@ -9,6 +11,7 @@ env:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build-linux:
|
build-linux:
|
||||||
|
if: github.repository == 'servo/servo' || github.event_name == 'push'
|
||||||
name: Build (Linux)
|
name: Build (Linux)
|
||||||
runs-on: ubuntu-20.04
|
runs-on: ubuntu-20.04
|
||||||
steps:
|
steps:
|
Loading…
Add table
Add a link
Reference in a new issue