Spaces:
Runtime error
Runtime error
deepagent-bot commited on
Commit ·
70d4090
1
Parent(s): bc79872
ci: sync dashboard from 4cdd0b8
Browse filesSource: github.com/CouLiBaLy-B/gh-deepagents@4cdd0b85383b7fd2820965fc7f606fd67a0f0ef1
- Dockerfile +2 -3
- src/gh_deepagent/dashboard/app.py +2 -2
- src/gh_deepagent/dashboard/auth_ui.py +2 -2
Dockerfile
CHANGED
|
@@ -20,6 +20,7 @@ RUN pip install --no-cache-dir --upgrade pip \
|
|
| 20 |
USER user
|
| 21 |
ENV HOME=/home/user \
|
| 22 |
PATH=/home/user/.local/bin:$PATH \
|
|
|
|
| 23 |
PYTHONUNBUFFERED=1 \
|
| 24 |
STREAMLIT_SERVER_HEADLESS=true \
|
| 25 |
STREAMLIT_BROWSER_GATHER_USAGE_STATS=false
|
|
@@ -29,6 +30,4 @@ EXPOSE 7860
|
|
| 29 |
# HF routes public traffic to app_port (7860). The dashboard reads
|
| 30 |
# DEEPAGENT_API_URL from the env (set in Space Settings → Variables).
|
| 31 |
CMD ["streamlit", "run", "src/gh_deepagent/dashboard/app.py", \
|
| 32 |
-
"--server.address=0.0.0.0", "--server.port=7860"
|
| 33 |
-
"--server.enableCORS=false", \
|
| 34 |
-
"--server.enableXsrfProtection=true"]
|
|
|
|
| 20 |
USER user
|
| 21 |
ENV HOME=/home/user \
|
| 22 |
PATH=/home/user/.local/bin:$PATH \
|
| 23 |
+
PYTHONPATH=/home/user/app/src \
|
| 24 |
PYTHONUNBUFFERED=1 \
|
| 25 |
STREAMLIT_SERVER_HEADLESS=true \
|
| 26 |
STREAMLIT_BROWSER_GATHER_USAGE_STATS=false
|
|
|
|
| 30 |
# HF routes public traffic to app_port (7860). The dashboard reads
|
| 31 |
# DEEPAGENT_API_URL from the env (set in Space Settings → Variables).
|
| 32 |
CMD ["streamlit", "run", "src/gh_deepagent/dashboard/app.py", \
|
| 33 |
+
"--server.address=0.0.0.0", "--server.port=7860"]
|
|
|
|
|
|
src/gh_deepagent/dashboard/app.py
CHANGED
|
@@ -6,8 +6,8 @@ import time
|
|
| 6 |
|
| 7 |
import streamlit as st
|
| 8 |
|
| 9 |
-
from .api import APIError, parse_prometheus, sum_by, total
|
| 10 |
-
from .auth_ui import render_user_badge, require_login
|
| 11 |
|
| 12 |
|
| 13 |
st.set_page_config(
|
|
|
|
| 6 |
|
| 7 |
import streamlit as st
|
| 8 |
|
| 9 |
+
from gh_deepagent.dashboard.api import APIError, parse_prometheus, sum_by, total
|
| 10 |
+
from gh_deepagent.dashboard.auth_ui import render_user_badge, require_login
|
| 11 |
|
| 12 |
|
| 13 |
st.set_page_config(
|
src/gh_deepagent/dashboard/auth_ui.py
CHANGED
|
@@ -11,8 +11,8 @@ from typing import Optional
|
|
| 11 |
|
| 12 |
import streamlit as st
|
| 13 |
|
| 14 |
-
from .api import APIError, WebhookAPI
|
| 15 |
-
from .oauth import DeviceFlowError, GitHubDeviceFlow
|
| 16 |
|
| 17 |
|
| 18 |
SESSION_TOKEN_KEY = "deepagent.token"
|
|
|
|
| 11 |
|
| 12 |
import streamlit as st
|
| 13 |
|
| 14 |
+
from gh_deepagent.dashboard.api import APIError, WebhookAPI
|
| 15 |
+
from gh_deepagent.dashboard.oauth import DeviceFlowError, GitHubDeviceFlow
|
| 16 |
|
| 17 |
|
| 18 |
SESSION_TOKEN_KEY = "deepagent.token"
|