Maybe embedding videos with https will make them work on the website?

I want to try changing this into https. Can we try this on the site?

Is it uploaded automatically yade-dev.gitlab.io after a successful merge?