| import streamlit as st | |
| import base64 | |
| import os.path | |
| import os | |
| import cv2 | |
| import random | |
| with open("/workspace/output.mp4", "rb") as file: | |
| st.video(file) | |
| btn = st.download_button( | |
| label="Download video", | |
| data=file, | |
| file_name="output.mp4", | |
| mime="video/mp4" | |
| ) | |