Skip to content

chore: add workflow_dispatch event to internal lint workflow#17

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#17
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 73c7807 into main Feb 3, 2024
@tmknom tmknom deleted the chore/add-workflow-dispatch-to-internal-lint branch February 3, 2024 10:26
@github-actions github-actions bot added test enhancement New feature or request workflows internal and removed chore test enhancement New feature or request labels Feb 10, 2024
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