HF RL Explorer

install ffmpeg manually in ci

install ffmpeg manually in ci: a task in repo2rlenv-pr-diff (Harbor dataset). Title: install ffmpeg manually in ci

The task

**Title:** install ffmpeg manually in ci

Part of FineEnvs/repo2rlenv-pr-diff.