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.

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

chore(repo): skip hangar when not needed #3791

Merged
merged 67 commits into from
Aug 30, 2023

Merge branch 'main' of https://github.com/winglang/wing into mark/imp…

1384dc9
Select commit
Loading
Failed to load commit list.
Merged

chore(repo): skip hangar when not needed #3791

Merge branch 'main' of https://github.com/winglang/wing into mark/imp…
1384dc9
Select commit
Loading
Failed to load commit list.
Mergify / Queue: Embarked in merge train succeeded Aug 30, 2023 in 0s

The pull request embarked with main (27aa725) is mergeable

Required conditions for merge:

  • #approved-reviews-by>=1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • #review-threads-unresolved=0 [🛡 GitHub branch protection]
  • -files=.mergify.yml
  • branch-protection-review-decision=APPROVED [🛡 GitHub branch protection]
  • all of [📃 From pull request rule automatic merge]:
    • #approved-reviews-by>=1
    • #changes-requested-reviews-by=0
    • #review-threads-unresolved=0
    • -approved-reviews-by~=author
    • -closed
    • -draft [:pushpin: queue requirement]
    • -files=.mergify.yml
    • -label~=(🚧 pr/do-not-merge|⚠️ pr/review-mutation)
    • -merged
    • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
    • -title~=(?i)wip
    • base=main
    • branch-protection-review-decision=APPROVED
    • check-success=Validate PR title
    • any of:
      • check-success=Quality Gate
      • all of:
        • -files~=^(?!docs/|logo/)
        • -files~=^docs/docs/04-standard-library/[^/]+/[^/]+\.md$
    • any of [:twisted_rightwards_arrows: queue conditions]:
      • all of [:pushpin: queue conditions of queue default]:
        • #approved-reviews-by>=1 [🛡 GitHub branch protection]
        • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
        • #review-threads-unresolved=0 [🛡 GitHub branch protection]
        • branch-protection-review-decision=APPROVED [🛡 GitHub branch protection]
  • any of:
    • status-success=Quality Gate
    • all of:
      • -files~=^(?!docs/|logo/)
      • -files~=^docs/docs/04-standard-library/[^/]+/[^/]+\.md$

Check-runs and statuses of the embarked pull request #3791:

Publishdetails
Benchmarkdetails
Builddetails
Console Previewdetails
E2E / ubuntu + Node18 [1/2]details
E2E / ubuntu + Node18 [2/2]details
Quality Gatedetails
Testdetails
Validate PR titledetails