Reply to 1176785241261924353

@fgortazar @github Travis is no longer a European company, it belongs to Idera, Inc. an American company.

I recently started to shift CI tasks to CircleCI but GitHub Actions integrates much better...