Sporiff On the other hand, the portability element is a big part of this, so getting builds sorted for this is an important thing. If GitHub lets us do that for free, I see no reason not to take advantage of that.
I agree this would be a free as in free beer, however locking ourselves into a proprietary platform and which might break whenever they want to change something is a risk we should consider.
Also, while it wouldn't cost us money (I don't actually know how Github Actions work, there might be limits), we need to mirror the project, maintain the pipelines and somehow upload the artifacts back to our Gitlab, so some work is required. However, this shouldn't be a lot.
