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

chore: fix list lint #2406

Merged
merged 1 commit into from
Jun 3, 2024
Merged

chore: fix list lint #2406

merged 1 commit into from
Jun 3, 2024

Conversation

ybzky
Copy link
Contributor

@ybzky ybzky commented Jun 3, 2024

close #xxx

Pull Request Checklist

  • Related tickets or issues have been linked in the PR description (or missing issue).
  • Naming convention is followed (do please check it especially when you created new plugins, commands and resources).
  • Unit tests have been added for the changes (if applicable).
  • Breaking changes have been documented (or no breaking changes introduced in this PR).

@ybzky ybzky requested a review from wzhudev as a code owner June 3, 2024 13:05
@univer-bot univer-bot bot added the qa:untested This PR is ready to be tested label Jun 3, 2024
@jikkai jikkai removed the qa:untested This PR is ready to be tested label Jun 3, 2024
@ybzky ybzky changed the title fix: fix list lint chore: fix list lint Jun 3, 2024
@jikkai jikkai merged commit eb8737c into dev Jun 3, 2024
10 checks passed
@jikkai jikkai deleted the fix-lint branch June 3, 2024 13:09
Copy link

github-actions bot commented Jun 3, 2024

View Deployment

#9350878074

🥐 🍔 🥓 🥗 🥘 🌯 🍚 🍛 🍖 🍭 🍧 🍝 🥪 🥖 🍪
Still cooking, please come back later
🥙 🥮 🥨 🌭 🍦 🍙 🍕 🍰 🍮 🍜 🍡 🍱 🍿 🍕 🥟

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

Successfully merging this pull request may close these issues.

None yet

2 participants