Skip to content

Set version to 13.0.0#8170

Merged
cknitt merged 1 commit into
rescript-lang:masterfrom
cknitt:version-13.0.0
Jan 13, 2026
Merged

Set version to 13.0.0#8170
cknitt merged 1 commit into
rescript-lang:masterfrom
cknitt:version-13.0.0

Conversation

@cknitt

@cknitt cknitt commented Jan 13, 2026

Copy link
Copy Markdown
Member

No description provided.

@pkg-pr-new

pkg-pr-new Bot commented Jan 13, 2026

Copy link
Copy Markdown

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@8170

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@8170

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@8170

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@8170

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@8170

@rescript/runtime

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/runtime@8170

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@8170

commit: 1b1b797

@cknitt cknitt merged commit e5984e2 into rescript-lang:master Jan 13, 2026
25 checks passed
@cknitt cknitt deleted the version-13.0.0 branch January 13, 2026 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants