Skip to content

[svelte-leafletjs] fix test for TS 5.7 - #70359

Merged
typescript-bot merged 1 commit into
DefinitelyTyped:masterfrom
gabritto:fix-svelte-leafletjs
Aug 23, 2024
Merged

[svelte-leafletjs] fix test for TS 5.7#70359
typescript-bot merged 1 commit into
DefinitelyTyped:masterfrom
gabritto:fix-svelte-leafletjs

Conversation

@gabritto

Copy link
Copy Markdown
Contributor

Fixes test to avoid new errors introduced by this TS PR merged for TS 5.7.

@typescript-bot

typescript-bot commented Aug 22, 2024

Copy link
Copy Markdown
Contributor

@gabritto Thank you for submitting this PR!

This is a live comment that I will keep updated.

1 package in this PR

Code Reviews

Because you edited one package and there were no type definition changes, I can help you merge this PR once someone else signs off on it.

You can test the changes of this PR in the Playground.

Status

  • ✅ No merge conflicts
  • ✅ Continuous integration tests have passed
  • ✅ Most recent commit is approved by type definition owners, DT maintainers or others

All of the items on the list are green. To merge, you need to post a comment including the string "Ready to merge" to bring in your changes.


Diagnostic Information: What the bot saw about this PR
{
  "type": "info",
  "now": "-",
  "pr_number": 70359,
  "author": "gabritto",
  "headCommitOid": "7e6265db20b5e40781e28a213f65c34d0e4e863d",
  "mergeBaseOid": "3553dd5f3053ef5ea1f306c30baa46d12eb7a06f",
  "lastPushDate": "2024-08-22T19:22:01.000Z",
  "lastActivityDate": "2024-08-23T17:38:10.000Z",
  "mergeOfferDate": "2024-08-23T03:00:28.000Z",
  "mergeRequestDate": "2024-08-23T17:38:10.000Z",
  "mergeRequestUser": "gabritto",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Well-liked by everyone",
  "pkgInfo": [
    {
      "name": "svelte-leafletjs",
      "kind": "edit",
      "files": [
        {
          "path": "types/svelte-leafletjs/svelte-leafletjs-tests.ts",
          "kind": "test"
        }
      ],
      "owners": [
        "k-yle"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Well-liked by everyone"
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "k-yle",
      "date": "2024-08-23T02:59:51.000Z",
      "isMaintainer": false
    }
  ],
  "mainBotCommentID": 2305471703,
  "ciResult": "pass"
}

@typescript-bot

Copy link
Copy Markdown
Contributor

🔔 @k-yle — please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

@typescript-bot typescript-bot added Owner Approved A listed owner of this package signed off on the pull request. Self Merge This PR can now be self-merged by the PR author or an owner labels Aug 23, 2024
@typescript-bot

Copy link
Copy Markdown
Contributor

@gabritto: Everything looks good here. I am ready to merge this PR (at 7e6265d) on your behalf whenever you think it's ready.

If you'd like that to happen, please post a comment saying:

Ready to merge

and I'll merge this PR almost instantly. Thanks for helping out! ❤️

(@k-yle: you can do this too.)

@gabritto

Copy link
Copy Markdown
Contributor Author

Ready to merge

@typescript-bot
typescript-bot merged commit cd1b30d into DefinitelyTyped:master Aug 23, 2024
@gabritto
gabritto deleted the fix-svelte-leafletjs branch August 23, 2024 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Owner Approved A listed owner of this package signed off on the pull request. Self Merge This PR can now be self-merged by the PR author or an owner

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants