Make the Github Actions workflow configuration more efficient.