mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-29 18:06:43 +03:00
Change how we detect pull requests.
This commit is contained in:
parent
7744111486
commit
596f089e20
@ -2,7 +2,7 @@ stages:
|
||||
- compile
|
||||
# Don't run the combine stage in pull requests, because deploy is disabled there.
|
||||
- name: combine
|
||||
if: env(TRAVIS_PULL_REQUEST) = false
|
||||
if: type != pull_request
|
||||
|
||||
jobs:
|
||||
include:
|
||||
|
Loading…
Reference in New Issue
Block a user