New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixes for tutorial extraction #253

Merged

paulzierep merged 2 commits into main from tutorial_fixes

Dec 5, 2024

Member

bebatut commented Dec 5, 2024

Some tutorials have No for video metadata even if there are recordings. So force the video to be True in this case
Fetching tutorials in the GitHub Action is slow, making the last jobs long. I extracted tutorial fetching into its own job so it could run in parallel of tool fetching

bebatut added 2 commits

December 5, 2024 12:33


          Add True to video metadata if recordings

1a5119a


          Move tutorial fetch to different job in fetch GH workflow

357a77a

bebatut temporarily deployed to fetch-tools

December 5, 2024 11:44

— with

GitHub Actions Inactive

paulzierep approved these changes

View reviewed changes

paulzierep merged commit 7e565eb into main

3 checks passed

paulzierep deleted the tutorial_fixes branch

December 5, 2024 13:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet