Skip to content

Update Docs and Fix Path#4

Merged
sean-hacker merged 3 commits intodevelopfrom
sean/update-docs
Jun 19, 2024
Merged

Update Docs and Fix Path#4
sean-hacker merged 3 commits intodevelopfrom
sean/update-docs

Conversation

@sean-hacker
Copy link
Copy Markdown
Contributor

  • Update docs
  • Ensure semgrep is on our path inside the container

@sean-hacker sean-hacker self-assigned this Jun 19, 2024
@sean-hacker sean-hacker enabled auto-merge (squash) June 19, 2024 12:53
@sean-hacker sean-hacker merged commit 2e6cd52 into develop Jun 19, 2024
@sean-hacker sean-hacker deleted the sean/update-docs branch June 19, 2024 13:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants