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.

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

Introduce a linting error #14

Closed
wants to merge 10 commits into from
Closed

Introduce a linting error #14

wants to merge 10 commits into from

Conversation

galargh
Copy link
Owner

@galargh galargh commented Jun 8, 2024

  • Because this PR includes a bug fix, relevant tests have been included.
  • Because this PR includes a new feature, the change was previously discussed on an Issue or with someone from the team.
  • I didn't do anything of this.

Testing the new implementation of the linting workflow, which can be additionally triggered on pull_request_target events.

Copy link

github-actions bot commented Jun 8, 2024

Thanks for submitting this PR!

Unfortunately, it has some linter errors, so we can't merge it yet. Can you please fix them?

Running pnpm lint:fix in the root of the repository may fix them automatically.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant