chore(workflow): ignore dist lint #1796

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

Merged

zhoushaw merged 1 commit into main from workflow/ignore-dist-lint

Dec 20, 2023

Collaborator

zhoushaw commented Dec 20, 2023

Description

chore: ignore dist lint

Types of changes

Docs change / refactoring / dependency upgrade
Bug fix (non-breaking change which fixes an issue)
New feature (non-breaking change which adds functionality)

Checklist

I have added tests to cover my changes.
All new and existing tests passed.
I have updated the documentation.


          chore: ignore dist lint

aa09d58

ScriptedAlchemy approved these changes

View reviewed changes

zhoushaw merged commit 2e3bba4 into main

zhoushaw deleted the workflow/ignore-dist-lint branch

December 20, 2023 07:04

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

Labels

None yet