This repo wasn't migrated to gitlab actions

[TheMcMurder]

I'm not sure if this repo is needed any longer. Should we archive it?

If not we need to migrate it.

[TheMcMurder]

I spoke with Carlos about this repo. We need to migrate it. I'm updating the issue to reflect the actual scope now.