Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: investigate semgrep issue on PR checks #558

Closed
zarboq opened this issue Oct 25, 2023 · 1 comment
Closed

feat: investigate semgrep issue on PR checks #558

zarboq opened this issue Oct 25, 2023 · 1 comment
Labels
bug Something isn't working ci enhancement New feature or request

Comments

@zarboq
Copy link
Collaborator

zarboq commented Oct 25, 2023

Feature Request

Describe the Feature Request

When opening a new PR, semgrep checks do not seem to work anymore and cause the checks to fail. Investigate the cause of this failure and try to find a solution.

example: https://github.com/keep-starknet-strange/satoru/actions/runs/6639359649/job/18037564936?pr=557
@zarboq zarboq added bug Something isn't working enhancement New feature or request ci labels Oct 25, 2023
@zarboq zarboq mentioned this issue Oct 26, 2023
Merged
@zarboq
Copy link
Collaborator Author

zarboq commented Oct 27, 2023

Closed #559

@zarboq zarboq closed this as completed Oct 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working ci enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@zarboq