How to help a student whose video file is > 100 Mb but under 1 minute?

If you have access to the Adobe Creative Cloud, You can use Media Encoder CC to compress the file. You can also try Movavi video converter to compress. It is available as a free download. https://www.movavi.com/support/how-to/video-compression.html