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

Add jsoo, fpath, logs, etc. #17

Merged
merged 2 commits into from
Mar 3, 2023
Merged

Add jsoo, fpath, logs, etc. #17

merged 2 commits into from
Mar 3, 2023

Conversation

aryx
Copy link
Collaborator

@aryx aryx commented Mar 3, 2023 •
edited
Loading

Lots of new dependencies in semgrep.opam

test plan:
wait for CI to kick in.

PR checklist:

  • PR comment includes a reproducible test plan
  • Change has no security implications (otherwise ping the security team)

@aryx
Add jsoo, fpath, logs, etc.
94f90ce 
Lots of new dependencies in semgrep.opam

test plan:
wait for CI to kick in.
@aryx aryx requested a review from a team as a code owner March 3, 2023 16:12
@aryx aryx requested review from nmote, brandonspark, mjambon and tpetr and removed request for a team, nmote and brandonspark March 3, 2023 16:12
@aryx aryx merged commit f54832a into master Mar 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tpetr tpetr tpetr approved these changes

@mjambon mjambon Awaiting requested review from mjambon

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aryx @tpetr