Skip to content

Add Missing Semgrep Release Build#785

Merged
J12934 merged 2 commits intomainfrom
fix/missing-semgrep-build
Oct 28, 2021
Merged

Add Missing Semgrep Release Build#785
J12934 merged 2 commits intomainfrom
fix/missing-semgrep-build

Conversation

@J12934
Copy link
Copy Markdown
Member

@J12934 J12934 commented Oct 28, 2021

Related to #784

J12934 and others added 2 commits October 28, 2021 16:28
Related to #784

Signed-off-by: Jannik Hollenbach <jannik.hollenbach@iteratec.com>
Signed-off-by: GitHub Actions <securecodebox@iteratec.com>
@J12934 J12934 added the bug Bugs label Oct 28, 2021
@J12934 J12934 requested a review from malexmave October 28, 2021 14:31
@J12934 J12934 self-assigned this Oct 28, 2021
@J12934 J12934 merged commit aaff91c into main Oct 28, 2021
@J12934 J12934 deleted the fix/missing-semgrep-build branch October 28, 2021 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Bugs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants