Skip to content

Conversation

@martig7
Copy link
Contributor

@martig7 martig7 commented Aug 4, 2025

Right now running npm eslint run doesn't work for me, so I opened a pull request to fix that. This documentation PR updates the developer instructions to reflect this change.

@martig7
Copy link
Contributor Author

martig7 commented Aug 7, 2025

It turns out that npm run eslint works with the eslint changes so no documentation changes are needed.

@martig7 martig7 closed this Aug 7, 2025
@github-project-automation github-project-automation bot moved this from Seeking Reviewer to Done in Submitty Development Aug 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants