File size: 98 Bytes
3fdaad4 |
1 2 |
sudo docker build . -t h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12 |
3fdaad4 |
1 2 |
sudo docker build . -t h4ckermike/lang_agent_streamlit_with_data:meta-coq-utils-data-1-2024-02-12 |