As of Dec 2024, video media queries work again on all major browsers.

<video>
    <source src="/small.mp4" media="(max-width: 600px)">
    <source src="/large.mp4">
</video>

ref: https://scottjehl.com/posts/using-responsive-video/