Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Create log groupings from Semgrep output in Github actions ouptut #423

Open
ievans opened this issue Nov 9, 2021 · 0 comments
Open

Create log groupings from Semgrep output in Github actions ouptut #423

ievans opened this issue Nov 9, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@ievans
Copy link
Member

ievans commented Nov 9, 2021

We should use this github feature: https://docs.github.com/en/actions/learn-github-actions/workflow-commands-for-github-actions#grouping-log-lines
@ievans ievans added the enhancement New feature or request label Apr 5, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ievans