Skip to content

feat: add pr annotations#7

Merged
weibullguy merged 4 commits intomasterfrom
feat/add_pr_annotations
Jan 21, 2023
Merged

feat: add pr annotations#7
weibullguy merged 4 commits intomasterfrom
feat/add_pr_annotations

Conversation

@weibullguy
Copy link
Owner

Converts action to a composite action and adds PR annotations for most tools.

@weibullguy weibullguy added the enhancement New feature or request label Jan 21, 2023
@weibullguy weibullguy merged commit 26be9d7 into master Jan 21, 2023
@weibullguy weibullguy deleted the feat/add_pr_annotations branch January 21, 2023 20:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant