Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix(lint): Move ignore files out from the code #2756

Merged
merged 1 commit into from
Aug 28, 2024
Merged

fix(lint): Move ignore files out from the code #2756

merged 1 commit into from
Aug 28, 2024

Conversation

Deniallugo
Copy link
Contributor

What ❔

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@Deniallugo
Move ignore files out from the code
0d42e6f 
Signed-off-by: Danil <deniallugo@gmail.com>
@Deniallugo Deniallugo changed the title Move ignore files out from the code fix(lint): Move ignore files out from the code Aug 28, 2024
manuelmauro
manuelmauro approved these changes Aug 28, 2024
View reviewed changes
Copy link
Contributor

@manuelmauro manuelmauro left a comment

Choose a reason for hiding this comment

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

lgtm

@Deniallugo Deniallugo added this pull request to the merge queue Aug 28, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Aug 28, 2024
@Deniallugo Deniallugo added this pull request to the merge queue Aug 28, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 28, 2024
@Deniallugo Deniallugo added this pull request to the merge queue Aug 28, 2024
Merged via the queue into main with commit bf03274 Aug 28, 2024
55 of 56 checks passed
@Deniallugo Deniallugo deleted the deniallugo-fix-lints branch August 28, 2024 12:08
@zksync-era-bot zksync-era-bot mentioned this pull request Aug 28, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@manuelmauro manuelmauro manuelmauro approved these changes

@matias-gonz matias-gonz matias-gonz approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Deniallugo @manuelmauro @matias-gonz