Quality checks

Fix video player sometimes not playing #3749

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1m 31s
Format check	26s
Lint	25s
Typecheck	41s
Knip	26s
Tests	1m 53s
	5m 22s