github: Improved performance for GitHub Actions workflows page
The GitHub Actions workflows page now handles very large workflows (more than 300 jobs) by using lazy loading for smoother performance, and it also adds the ability to filter jobs to help navigate large workflows.