Skip to content

Add static import rule for agents#11290

Merged
gh-worker-dd-mergequeue-cf854d[bot] merged 1 commit intomasterfrom
andrea.marziali/staticimport
May 7, 2026
Merged

Add static import rule for agents#11290
gh-worker-dd-mergequeue-cf854d[bot] merged 1 commit intomasterfrom
andrea.marziali/staticimport

Conversation

@amarziali
Copy link
Copy Markdown
Contributor

What Does This Do

Enforce static import preference for agents (since was mentioned on contributing but not explicitly considered)

Motivation

Additional Notes

Contributor Checklist

Jira ticket: [PROJ-IDENT]

Note: Once your PR is ready to merge, add it to the merge queue by commenting /merge. /merge -c cancels the queue request. /merge -f --reason "reason" skips all merge queue checks; please use this judiciously, as some checks do not run at the PR-level. For more information, see this doc.

@amarziali amarziali requested a review from a team as a code owner May 6, 2026 13:37
@amarziali amarziali requested a review from mcculls May 6, 2026 13:37
@amarziali amarziali added type: documentation comp: tooling Build & Tooling tag: no release notes Changes to exclude from release notes labels May 6, 2026
@amarziali
Copy link
Copy Markdown
Contributor Author

/merge

@gh-worker-devflow-routing-ef8351
Copy link
Copy Markdown

gh-worker-devflow-routing-ef8351 Bot commented May 7, 2026

View all feedbacks in Devflow UI.

2026-05-07 06:43:41 UTC ℹ️ Start processing command /merge


2026-05-07 06:43:46 UTC ℹ️ MergeQueue: pull request added to the queue

The expected merge time in master is approximately 1h (p90).


2026-05-07 08:44:07 UTCMergeQueue: The build pipeline has timeout

The merge request has been interrupted because the build 0 took longer than expected. The current limit for the base branch 'master' is 120 minutes.

Possible reasons:

  • some mandatory checkruns are failing:
    • Check pull request labels
    • Check pull requests
    • Enforce Groovy migration

@amarziali
Copy link
Copy Markdown
Contributor Author

/merge

@gh-worker-devflow-routing-ef8351
Copy link
Copy Markdown

gh-worker-devflow-routing-ef8351 Bot commented May 7, 2026

View all feedbacks in Devflow UI.

2026-05-07 09:32:51 UTC ℹ️ Start processing command /merge


2026-05-07 09:32:56 UTC ℹ️ MergeQueue: pull request added to the queue

The expected merge time in master is approximately 1h (p90).


2026-05-07 10:41:30 UTC ℹ️ MergeQueue: This merge request was merged

@gh-worker-dd-mergequeue-cf854d gh-worker-dd-mergequeue-cf854d Bot merged commit 760d781 into master May 7, 2026
572 of 578 checks passed
@gh-worker-dd-mergequeue-cf854d gh-worker-dd-mergequeue-cf854d Bot deleted the andrea.marziali/staticimport branch May 7, 2026 10:41
@github-actions github-actions Bot added this to the 1.63.0 milestone May 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp: tooling Build & Tooling tag: no release notes Changes to exclude from release notes type: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants