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

WIP: add gh action for semgrep #18

Closed
wants to merge 6 commits into from
Closed

WIP: add gh action for semgrep #18

wants to merge 6 commits into from

Commits on Jul 10, 2023

  1. add gh action for semgrep

    Yen Truong committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    4f8ff95 View commit details
    Browse the repository at this point in the history

  2. test

    Yen Truong committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    001f656 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. move env

    Yen Truong committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    6eb7f2c View commit details
    Browse the repository at this point in the history

  2. update workflow_dispatch

    Yen Truong committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    2772329 View commit details
    Browse the repository at this point in the history

  3. update workflow_dispatch 2

    Yen Truong committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    5fc4675 View commit details
    Browse the repository at this point in the history

  4. pr scan

    Yen Truong committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    7ad6763 View commit details
    Browse the repository at this point in the history