Spaces:

openenv
/

coding_env

Running

github-actions[bot]

🤖 Deploy coding_env environment - 2025-10-21 02:05:10

29ffec4 about 1 year ago

778 Bytes

# Copyright (c) Meta Platforms, Inc. and affiliates.
# All rights reserved.
#
# This source code is licensed under the BSD-style license found in the
# LICENSE file in the root directory of this source tree.

# Use the specified openenv-base image
FROM openenv-base:sha-7dd8148
# Install smolagents for code execution
RUN pip install --no-cache-dir smolagents

# Copy only what's needed for this environment
COPY src/core/ /app/src/core/
COPY src/envs/coding_env/ /app/src/envs/coding_env/

# Health check
HEALTHCHECK --interval=30s --timeout=3s --start-period=5s --retries=3 \
    CMD curl -f http://localhost:8000/health || exit 1

# Run the FastAPI server
CMD ["uvicorn", "envs.coding_env.server.app:app", "--host", "0.0.0.0", "--port", "8000"]
ENV ENABLE_WEB_INTERFACE=true

	# Copyright (c) Meta Platforms, Inc. and affiliates.
	# All rights reserved.
	#
	# This source code is licensed under the BSD-style license found in the
	# LICENSE file in the root directory of this source tree.

	# Use the specified openenv-base image
	FROM openenv-base:sha-7dd8148
	# Install smolagents for code execution
	RUN pip install --no-cache-dir smolagents

	# Copy only what's needed for this environment
	COPY src/core/ /app/src/core/
	COPY src/envs/coding_env/ /app/src/envs/coding_env/

	# Health check
	HEALTHCHECK --interval=30s --timeout=3s --start-period=5s --retries=3 \
	CMD curl -f http://localhost:8000/health \|\| exit 1

	# Run the FastAPI server
	CMD ["uvicorn", "envs.coding_env.server.app:app", "--host", "0.0.0.0", "--port", "8000"]
	ENV ENABLE_WEB_INTERFACE=true