mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-07 20:39:04 +03:00
Abort collaboration process if any thread panics
This commit is contained in:
parent
eca6115e4b
commit
647d9861b1
@ -84,5 +84,3 @@ split-debuginfo = "unpacked"
|
|||||||
|
|
||||||
[profile.release]
|
[profile.release]
|
||||||
debug = true
|
debug = true
|
||||||
|
|
||||||
|
|
||||||
|
@ -5,6 +5,7 @@ WORKDIR app
|
|||||||
COPY . .
|
COPY . .
|
||||||
|
|
||||||
# Compile collab server
|
# Compile collab server
|
||||||
|
ARG CARGO_PROFILE_RELEASE_PANIC=abort
|
||||||
RUN --mount=type=cache,target=./script/node_modules \
|
RUN --mount=type=cache,target=./script/node_modules \
|
||||||
--mount=type=cache,target=/usr/local/cargo/registry \
|
--mount=type=cache,target=/usr/local/cargo/registry \
|
||||||
--mount=type=cache,target=./target \
|
--mount=type=cache,target=./target \
|
||||||
|
Loading…
Reference in New Issue
Block a user