mirror of
https://github.com/SchildiChat/element-web.git
synced 2024-10-01 01:26:12 -04:00
Merge remote-tracking branch 'origin/develop' into develop
This commit is contained in:
commit
80bef09b85
@ -6,6 +6,8 @@
|
|||||||
# the branch the current checkout is on, use that branch. Otherwise,
|
# the branch the current checkout is on, use that branch. Otherwise,
|
||||||
# use develop.
|
# use develop.
|
||||||
|
|
||||||
|
set -e
|
||||||
|
|
||||||
# Look in the many different CI env vars for which branch we're
|
# Look in the many different CI env vars for which branch we're
|
||||||
# building
|
# building
|
||||||
if [[ "$TRAVIS" == true ]]; then
|
if [[ "$TRAVIS" == true ]]; then
|
||||||
|
Loading…
Reference in New Issue
Block a user