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: pin compodoc #1846

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

chore: pin compodoc #1846

wants to merge 1 commit into from

Conversation

sofisl
Copy link
Contributor

@sofisl sofisl commented Aug 15, 2024

No description provided.

@sofisl sofisl requested review from a team as code owners August 15, 2024 22:11
Copy link

conventional-commit-lint-gcf bot commented Aug 15, 2024

🤖 I detect that the PR title and the commit message differ and there's only one commit. To use the PR title for the commit history, you can use Github's automerge feature with squashing, or use automerge label. Good luck human!

-- conventional-commit-lint bot
https://conventionalcommits.org/

@product-auto-label product-auto-label bot added the size: xs Pull request size is extra small. label Aug 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: xs Pull request size is extra small.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant