You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
## Summary
- Implements missing GitHub Pages integration for animation MP4 files
- Addresses CRITICAL gap identified by vicky where documentation
promises download links but no mechanism existed to deploy media files
## Changes
- Added ffmpeg installation to GitHub Actions docs workflow for MP4
generation
- Created `scripts/compile_special_examples.sh` to build and run
animation example
- Updated Makefile to automatically run special examples during `make
example`
- Enhanced doc target to copy MP4 files from output directory to
build/doc/media structure
- Ensured animation.mp4 is properly generated and deployed to GitHub
Pages
## Test Plan
- [x] Animation example builds and generates MP4 locally
- [x] Makefile doc target copies MP4 to
build/doc/media/examples/animation/
- [x] GitHub Actions workflow installs ffmpeg and runs animation
generation
- [ ] GitHub Pages deployment includes animation.mp4 (will verify after
merge)
This completes the final implementation needed for batch mode
completion.
Fixes#178
---------
Co-authored-by: Claude <noreply@anthropic.com>
0 commit comments