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

Add type ascription to implicits from instantiable (backport #3615) #3617

Merged
merged 1 commit into from
Nov 2, 2023

Add type ascription to implicits from instantiable (#3615)

7e6152d
Select commit
Loading
Failed to load commit list.
Merged

Add type ascription to implicits from instantiable (backport #3615) #3617

Add type ascription to implicits from instantiable (#3615)
7e6152d
Select commit
Loading
Failed to load commit list.
Mergify / Queue: Embarked in merge queue succeeded Nov 2, 2023 in 0s

The pull request embarked with 3.6.x (818cb70) is mergeable

Required conditions for merge:

  • status-success=all tests passed
  • all of [📃 From pull request rule automatic squash-and-mege of 3.6.x backport PRs]:
    • #changes-requested-reviews-by=0
    • -draft [:pushpin: queue requirement]
    • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
    • base=3.6.x
    • label!="DO NOT MERGE"
    • label!="bp-conflict"
    • label="Backport"
    • status-success=all tests passed
    • any of [:twisted_rightwards_arrows: queue conditions]:
      • all of [:pushpin: queue conditions of queue default]:
        • any of [🛡 GitHub branch protection]:
          • check-success=Summary
          • check-neutral=Summary
          • check-skipped=Summary
        • any of [🛡 GitHub branch protection]:
          • check-success=license/cla
          • check-neutral=license/cla
          • check-skipped=license/cla
        • any of [🛡 GitHub branch protection]:
          • check-success=all tests passed
          • check-neutral=all tests passed
          • check-skipped=all tests passed
  • any of [🛡 GitHub branch protection]:
    • check-success=Summary
    • check-neutral=Summary
    • check-skipped=Summary
  • any of [🛡 GitHub branch protection]:
    • check-success=license/cla
    • check-neutral=license/cla
    • check-skipped=license/cla
  • any of [🛡 GitHub branch protection]:
    • check-success=all tests passed
    • check-neutral=all tests passed
    • check-skipped=all tests passed

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

publishdetails
Build Mdoc & Websitedetails
Fixup the backport PRdetails
Formattingdetails
Integration Tests (w/ chiseltest)details
Resolve PRsdetails
Standard Library Tests (2.12.17)details
Standard Library Tests (2.13.10)details
Test Scala-CLI Templatedetails
all tests passeddetails
check testsdetails
ci (ubuntu-20.04, 8, 2.12.17, 2.4, firtool-1.37.0)details
ci (ubuntu-20.04, 8, 2.13.10, 2.4, firtool-1.37.0)details
license/claContributor License Agreement is signed.details