If not done sooner, I can create PRs to move those repos to actions next week. Enjoying some holidays this week.