--- bugfixes: - Update GitHub Actions workflow for better CI stability.