Change branch name from 'main' to 'master:main' in push df26f76 unverified themalinery commited on 16 days ago
Change git push branch from 'master' to 'main' 44e7b02 unverified themalinery commited on 16 days ago
Change git push branch from 'main' to 'master:main' 7a2da8f unverified themalinery commited on 16 days ago
Add workflow to check file size on pull requests a33be14 unverified themalinery commited on 16 days ago
Add GitHub Actions workflow for Hugging Face sync cf3972e unverified themalinery commited on 16 days ago
