mirror of
https://github.com/gradio-app/gradio.git
synced 2025-04-12 12:40:29 +08:00
parent
35f6c78402
commit
8e19e894a9
@ -6,7 +6,7 @@ No changes to highlight.
|
||||
|
||||
## Bug Fixes:
|
||||
|
||||
No changes to highlight.
|
||||
- Fix website build issue by [@aliabd](https://github.com/aliabd) in [PR 4142](https://github.com/gradio-app/gradio/pull/4142)
|
||||
|
||||
## Documentation Changes:
|
||||
|
||||
|
@ -1,14 +1,14 @@
|
||||
FROM python:3.8
|
||||
|
||||
RUN apt-get update
|
||||
RUN curl -fsSL https://deb.nodesource.com/setup_14.x | bash -
|
||||
RUN curl -fsSL https://deb.nodesource.com/setup_18.x | bash -
|
||||
RUN apt-get install -y nodejs jq
|
||||
RUN npm install -g npm@latest
|
||||
RUN apt-get --assume-yes install nginx
|
||||
RUN mkdir gradio
|
||||
COPY . /gradio/
|
||||
WORKDIR /gradio
|
||||
RUN npm i pnpm@6 -g
|
||||
RUN npm i pnpm@7 -g
|
||||
ENV NODE_OPTIONS="--max-old-space-size=4096"
|
||||
RUN pnpm i
|
||||
RUN pnpm build
|
||||
|
Loading…
x
Reference in New Issue
Block a user