Core library updates to GitHub Actions #3962
Description
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.
{{ message }}