<p>Use Github Actions instead of external Travis CI service which recently enforced resource limits and so increase the risk of broken CI because of too few "credits".</p>
<p>I'm not completely sure about resource limits for Github Actions. According to <a rel="nofollow" href="https://docs.github.com/en/billing/managing-billing-for-github-actions/about-billing-for-github-actions">https://docs.github.com/en/billing/managing-billing-for-github-actions/about-billing-for-github-actions</a>, it seems there are 2000 free minutes per month.<br>
OTOH the first sentence on this page says "GitHub Actions usage is free for both public repositories and self-hosted runners." while the table below says "2,000 minutes" for "GitHub Free".<br>
According to <a href="https://github.community/t/for-public-repositories-is-there-a-monthly-limit-on-minutes/129017" rel="nofollow">https://github.community/t/for-public-repositories-is-there-a-monthly-limit-on-minutes/129017</a>, there is no limit for public repositories.</p>
<p>Even if there would be a limit of 2000 minutes, this might fit for our use (for all repositories of the "geany" organization). On Travis CI, we have to manually ask their support to donate additional credits to our account each time the credits are exhausted.</p>
<p>From September 1st to October 17th, we used about 17500 credits (about 1750 build minutes) on Travis CI and we've got 8090 credits left to use.</p>
<p>See also <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="1021646632" data-permission-text="Title is private" data-url="https://github.com/geany/www.geany.org/issues/33" data-hovercard-type="pull_request" data-hovercard-url="/geany/www.geany.org/pull/33/hovercard" href="https://github.com/geany/www.geany.org/pull/33">geany/www.geany.org#33</a>.<br>
I would continue with migrating G-P once we agree on this switch and this one has been merged.</p>

<hr>

<h4>You can view, comment on, or merge this pull request online at:</h4>
<p>  <a href='https://github.com/geany/geany/pull/2948'>https://github.com/geany/geany/pull/2948</a></p>

<h4>Commit Summary</h4>
<ul>
  <li><a href="https://github.com/geany/geany/pull/2948/commits/139ea3c99019d85e3e1417dca85a7c3ac303a881">Migrate from Travis CI to Github Actions</a></li>
</ul>

<h4>File Changes</h4>
<ul>
  <li>
    <strong>A</strong>
    <a href="https://github.com/geany/geany/pull/2948/files#diff-5c3fa597431eda03ac3339ae6bf7f05e1a50d6fc7333679ec38e21b337cb6721">.github/workflows/build.yml</a>
    (161)
  </li>
</ul>

<h4>Patch Links:</h4>
<ul>
  <li><a href='https://github.com/geany/geany/pull/2948.patch'>https://github.com/geany/geany/pull/2948.patch</a></li>
  <li><a href='https://github.com/geany/geany/pull/2948.diff'>https://github.com/geany/geany/pull/2948.diff</a></li>
</ul>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2948">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJZT6GY6FER46FLTMZ3UHNEVZANCNFSM5GFJPAAQ">unsubscribe</a>.<br />Triage notifications on the go with GitHub Mobile for <a href="https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675">iOS</a> or <a href="https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub">Android</a>.
<img src="https://github.com/notifications/beacon/AAIOWJ25JDE3JG2HZNCCS43UHNEVZA5CNFSM5GFJPAA2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4PKM7CSA.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2948",
"url": "https://github.com/geany/geany/pull/2948",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>