Hi there,
we'd like to start building this core on the Libretro buildbot (for the platforms it's currently supported for).
In order to achieve this with the upstream repo, all we need to do is merge in a file in the root of this project called '.gitlab-ci.yml'.
Would you be open to merging a PR if we submit it?