More CI
The previous merge request had an error: it was building the SDK but not the Platform.
In addition, we (for now) need to export the build results into a dedicated OSTree repository.
The previous merge request had an error: it was building the SDK but not the Platform.
In addition, we (for now) need to export the build results into a dedicated OSTree repository.