view.py

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"
          
                    )