Migrating Your GitHub CI to Hugging Face Jobs