-
Notifications
You must be signed in to change notification settings - Fork 7
ci: enable merge queue #953
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.
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR enables GitHub's merge queue feature by adding the merge_group trigger to CI workflows. This allows multiple PRs to be batched and merged simultaneously when they're added to the queue within a short time window, reducing the need to run CI on each PR individually.
- Adds merge queue support to linting and formatting workflow
- Adds merge queue support to continuous integration workflow
Reviewed Changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
| .github/workflows/linting-formatting.yml | Adds merge_group trigger to enable merge queue for linting workflow |
| .github/workflows/continuous-integration.yml | Adds merge_group trigger to enable merge queue for CI workflow |
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
📦 Container Size AnalysisNote Comparing 📈 Size Comparison Table
|
✅
|
| Descriptor | Linter | Files | Fixed | Errors | Warnings | Elapsed time |
|---|---|---|---|---|---|---|
| ✅ ACTION | actionlint | 20 | 0 | 0 | 0.55s | |
| ✅ DOCKERFILE | hadolint | 2 | 0 | 0 | 0.67s | |
| ✅ GHERKIN | gherkin-lint | 2 | 0 | 0 | 1.05s | |
| ✅ JSON | npm-package-json-lint | yes | no | no | 0.38s | |
| ✅ JSON | prettier | 15 | 2 | 0 | 0 | 0.5s |
| ✅ JSON | v8r | 15 | 0 | 0 | 9.88s | |
| ✅ MARKDOWN | markdownlint | 10 | 0 | 0 | 0 | 1.05s |
| ✅ MARKDOWN | markdown-table-formatter | 10 | 0 | 0 | 0 | 0.32s |
| ✅ REPOSITORY | gitleaks | yes | no | no | 0.9s | |
| ✅ REPOSITORY | git_diff | yes | no | no | 0.01s | |
| grype | yes | no | 1 | 27.44s | ||
| ✅ REPOSITORY | secretlint | yes | no | no | 0.97s | |
| ✅ REPOSITORY | syft | yes | no | no | 1.99s | |
| ✅ REPOSITORY | trivy | yes | no | no | 5.11s | |
| ✅ REPOSITORY | trivy-sbom | yes | no | no | 0.25s | |
| ✅ REPOSITORY | trufflehog | yes | no | no | 2.38s | |
| ✅ SPELL | lychee | 64 | 0 | 0 | 1.55s | |
| ✅ YAML | prettier | 26 | 0 | 0 | 0 | 1.18s |
| ✅ YAML | v8r | 26 | 0 | 0 | 7.63s | |
| ✅ YAML | yamllint | 26 | 0 | 0 | 0.74s |
Detailed Issues
⚠️ REPOSITORY / grype - 1 warning
warning: A medium vulnerability in python package: urllib3, version 1.26.20 was found at: /.devcontainer/cpp/requirements.txt
warning: 1 warnings emitted
See detailed reports in MegaLinter artifacts
Your project could benefit from a custom flavor, which would allow you to run only the linters you need, and thus improve runtime performances. (Skip this info by defining FLAVOR_SUGGESTIONS: false)
- Documentation: Custom Flavors
- Command:
npx [email protected] --custom-flavor-setup --custom-flavor-linters ACTION_ACTIONLINT,DOCKERFILE_HADOLINT,GHERKIN_GHERKIN_LINT,JSON_V8R,JSON_PRETTIER,JSON_NPM_PACKAGE_JSON_LINT,MARKDOWN_MARKDOWNLINT,MARKDOWN_MARKDOWN_TABLE_FORMATTER,REPOSITORY_GIT_DIFF,REPOSITORY_GITLEAKS,REPOSITORY_GRYPE,REPOSITORY_SECRETLINT,REPOSITORY_SYFT,REPOSITORY_TRIVY,REPOSITORY_TRIVY_SBOM,REPOSITORY_TRUFFLEHOG,SPELL_LYCHEE,YAML_PRETTIER,YAML_YAMLLINT,YAML_V8R
📦 Container Size AnalysisNote Comparing 📈 Size Comparison Table
|
|
Pull Request Report (#953)Static measures
Time related measures
Status check related measures
|
|
🎉 Hooray! The changes in this pull request went live with the release of v6.5.0 🎉 |




🚀 Hey, I have created a Pull Request
Description of changes
This PR (re-)enables the merge queue, the amount of incoming PRs is too high to merge them one-by-one. It is, in most cases, not necessary to run ci on all intermediate queue items. The current queue settings should make it possible to add up to 5 entries to the queue to be simultaneously merged, if they are added in a minute after the first item.
✔️ Checklist