New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

ci: enable merge queue #143

Merged

baruchiro merged 1 commit into master from merge-queue

Jul 18, 2023

Contributor

baruchiro commented Jul 18, 2023

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue


          ci: enable merge queue

1d5efb9

github-actions bot commented Jul 18, 2023

KICS version: v1.7.0

	Category	Results
	HIGH	0
	MEDIUM	0
	LOW	1
	INFO	0
	TRACE	0
	TOTAL	1

Metric	Values
Files scanned	1
Files parsed	1
Files failed to scan	0
Total executed queries	49
Queries failed to execute	0
Execution time	1

baruchiro merged commit 8316702 into master

baruchiro deleted the merge-queue branch

July 18, 2023 09:11

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet