Builds and CI

This topic is about tools used to automate building software. This includes local tools (like Make) and hosted services for continuous integration and deployment (like Buildkite or GitHub Actions).