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

docs(kicsbot): preparing for release 1.7.13 #6915

Merged
merged 2 commits into from
Feb 29, 2024
Merged

docs(kicsbot): preparing for release 1.7.13 #6915

merged 2 commits into from
Feb 29, 2024

Conversation

kicsbot
Copy link
Contributor

@kicsbot kicsbot commented Feb 29, 2024

Automated Changes
Updating documentation index page.
Triggered by SHA: 7da676c

@kicsbot kicsbot added the documentation Improvements or additions to documentation label Feb 29, 2024
@github-actions GitHub Actions
Copy link
Contributor

kics-logo

KICS version: v1.7.12

Category Results
HIGH HIGH 0
MEDIUM MEDIUM 0
LOW LOW 0
INFO INFO 0
TRACE TRACE 0
TOTAL TOTAL 0
Metric Values
Files scanned placeholder 1
Files parsed placeholder 1
Files failed to scan placeholder 0
Total executed queries placeholder 49
Queries failed to execute placeholder 0
Execution time placeholder 1

@gabriel-cx gabriel-cx merged commit 295c5e3 into master Feb 29, 2024
20 checks passed
@gabriel-cx gabriel-cx deleted the feature/kicsbot-update-docs-index branch February 29, 2024 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gabriel-cx gabriel-cx gabriel-cx approved these changes

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kicsbot @gabriel-cx