To export a video in Video Editor, follow these steps.
After editing it, click on Finish video.
Then, select the Video quality and click Export.
Now, you will be asked to select a location where you want to store the file and name it. Do that and click Export.