Resource Usage and Optimization Opportunities in Workflows of GitHub Actions | IEEE Conference Publication | IEEE Xplore