Skip to content

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Dec 23, 2024

Bumps rescript from 12.0.0-alpha.5 to 12.0.0-alpha.6.

Release notes

Sourced from rescript's releases.

12.0.0-alpha.6

🚀 New Feature

🐛 Bug fix

🏠 Internal

Changelog

Sourced from rescript's changelog.

12.0.0-alpha.6

🚀 New Feature

🐛 Bug fix

🏠 Internal

Commits
  • d4c1255 Prepare for 12.0.0-alpha.6 release (#7210)
  • 6f24778 Remove function$ entirely. (#7208)
  • b2ebcc0 remove explicit uses of function$ in preparation for removing the type enti...
  • 1551925 Fix badges in README.md (#7207)
  • be15048 AST: store arity in function type (#7195)
  • 65b1c68 merge conflict
  • 4f961ab Update CHANGELOG.md
  • 65599be Added test that components with type vars do compile.
  • c37be1e Remove difference on termination analysis tests.
  • ba3e27b Fix ppx mapper and add example.
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [rescript](https://github.com/rescript-lang/rescript-compiler) from 12.0.0-alpha.5 to 12.0.0-alpha.6.
- [Release notes](https://github.com/rescript-lang/rescript-compiler/releases)
- [Changelog](https://github.com/rescript-lang/rescript/blob/master/CHANGELOG.md)
- [Commits](rescript-lang/rescript@v12.0.0-alpha.5...v12.0.0-alpha.6)

---
updated-dependencies:
- dependency-name: rescript
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code labels Dec 23, 2024
@nojaf nojaf closed this Dec 23, 2024
Copy link
Contributor Author

dependabot bot commented on behalf of github Dec 23, 2024

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.

@dependabot dependabot bot deleted the dependabot/npm_and_yarn/rescript-12.0.0-alpha.6 branch December 23, 2024 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file javascript Pull requests that update Javascript code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant