Spaces:
Duplicated from introspector/streamlit-docker-lang-agent-introspector

introspector
/

streamlit-docker-lang-agent-introspector-public

Sleeping

App Files Files Community

streamlit-docker-lang-agent-introspector-public / build.sh

mike dupont

working local

c924121 9 months ago

history blame contribute delete

98 Bytes

	sudo docker build . -t h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12