Skip to content

DEV: Update ruby linting #41

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.

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

Closed
wants to merge 2 commits into from
Closed

DEV: Update ruby linting #41

wants to merge 2 commits into from

Conversation

CvX
Copy link
Contributor

@CvX CvX commented Nov 30, 2023

No description provided.

@pmusaraj
Copy link
Contributor

pmusaraj commented Nov 30, 2023

Thanks @CvX @Flink. I think @angusmcleod has a big PR in the works, I'm going to hold off on merging this for the time being to avoid any major conflicts between main and his branch.

But should be able to merge next week.

(Also, the CI failures are unrelated, I think there are some regressions in there, can repro locally under main as well.)

@CvX
Copy link
Contributor Author

CvX commented Dec 15, 2023

Redo in #49

@CvX CvX closed this Dec 15, 2023
@CvX CvX deleted the rb-linting branch December 15, 2023 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

4 participants