This issue tracks the pull requests open to migrate libraries in the core organization to use GitHub Actions as their CI provider, and to update their installation instructions to use Spago.