How Do Software Developers Use GitHub Actions to Automate Their Workflows? | IEEE Conference Publication | IEEE Xplore