Skip to content

Conversation

@pcuenca
Copy link
Member

@pcuenca pcuenca commented Oct 28, 2024

No description provided.

@pcuenca
Copy link
Member Author

pcuenca commented Oct 28, 2024

Failing in some PRs such as #986

Copy link
Contributor

@Vaibhavs10 Vaibhavs10 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wonder if we should just add a pre-commit in the repo to fix all Lint woes.

(orthogonal to the PR ofc)

@pcuenca
Copy link
Member Author

pcuenca commented Oct 29, 2024

I wonder if we should just add a pre-commit in the repo

There's already a lint check, I think we should not merge if it complains (unless in exceptional cases).

@pcuenca pcuenca merged commit c8c982e into huggingface:main Oct 29, 2024
2 of 4 checks passed
@pcuenca pcuenca deleted the lint-fixes branch October 29, 2024 09:35
coyotte508 pushed a commit that referenced this pull request Oct 29, 2024
This PR fixes the failing CI:
- ~some formatting issues in `packages/tasks`~ already done in
#990
- in `listFiles`, `entry.security` has been replaced by
`entry.securityFileStatus` server-side. This PR updates the data
structure + test to address this change.

Expectation: green CI 😄
@xenova xenova mentioned this pull request Oct 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants