Re: how to build on machines without ssh access

[Bruno Haible]

Collin Funk wrote:
> Thanks for the guide. How much free time does GitHub give you?

Unlimited, provided that the repository which performs the CI is public:
  
https://docs.github.com/en/actions/learn-github-actions/usage-limits-billing-and-administration
    "GitHub Actions usage is free for standard GitHub-hosted runners in public 
repositories,
     and for self-hosted runners."
  https://docs.github.com/en/get-started/learning-about-github/githubs-plans
  https://github.com/pricing  : "2000 CI/CD minutes/month, Free for public 
repositories"
  
https://stackoverflow.com/questions/62724429/what-are-github-actions-minutes-month
  https://github.com/orgs/community/discussions/70492#discussioncomment-7362186
    "- Public repos do not have any minute limitation
     - This includes Windows/MacOS runners, as long as you use the standard 
runners
       where "standard" applies to CPU/ram/disk"

Jobs time out after 6 hours. But we should stay way below that limit.

Bruno