Skip to content

chore: add workflow_dispatch event to internal lint workflow#10

Merged
tmknom merged 1 commit intomainfrom
chore/add-workflow-dispatch-to-internal-lint
Feb 3, 2024
Merged

chore: add workflow_dispatch event to internal lint workflow#10
tmknom merged 1 commit intomainfrom
chore/add-workflow-dispatch-to-internal-lint

Conversation

@tmknom
Copy link
Copy Markdown
Owner

@tmknom tmknom commented Feb 3, 2024

No description provided.

@github-actions github-actions bot added the chore label Feb 3, 2024
@tmknom tmknom merged commit 7d3735c into main Feb 3, 2024
@tmknom tmknom deleted the chore/add-workflow-dispatch-to-internal-lint branch February 3, 2024 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant