GitHub Workflows (CI) In order to standardize our CI workloads, we try to define shared workflows as much as possible.