Github actions claim to be free for public repos: https://github.blog/2019-08-08-github-actions-now-supports-ci-cd/
Worth considering a move? Happy to put in the work. I was struggling with a PR today, but that was largely because of sourceforge's certs for boost downloads.