Matrix: https://matrix.to/#/@julian-1-2-3-4-5:tchncs.de
Mastodon: https://mastodon.world/@Julian_1_2_3_4_5
ssb: @nBtlZZz7NaDmIOcXdNk2D94nyKhQUsl/gm+n4LfEVhE=.ed25519
if you really only played it and it didn’t abuse some zero day in vlc (extremely unlikely), the there’s basically zero chance you could have activated a virus.
But it’s definitely possible to ship a virus embedded in a playable mkv file, but something else would have to extract it first, for it to do anything