Correct a mistake in the GitHub Actions file.