How Do Software Developers Use GitHub Actions to Automate Their Workflows? - Timothy Kinsman; Mairieli Santos Wessel; Marco Aurélio Gerosa; Christoph Treude (MSR, 2021)