We will stick with GitHub Actions for now. GitHub Actions have the advantage that individual steps of a build (i.e. jobs) will show up as individual entries in a pull request, which in turn allows distinguishing between results of e.g. the actual build or checks run on the code (e.g. checkstyle or pdm).
We will stick with GitHub Actions for now. GitHub Actions have the advantage that individual steps of a build (i.e.
jobs) will show up as individual entries in a pull request, which in turn allows distinguishing between results of e.g. the actual build or checks run on the code (e.g. checkstyle or pdm).