Fix the 'Fix linting' GitHub Actions workflow.