Minor cleanups to the GitHub Actions workflows