I also figured out a weird video compression hack. Post the video on Xitter. You can use a burner account. Then download it using ssstwitter.com or a similar website. The file you get will usually be compressed enough to upload to nostr.build without sacrificing much quality. You can delete the original post afterward.