Skip to content

Verify if a package was compiled during the mismatch check. #7912

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 4 commits into from
Sep 20, 2025
Merged

Verify if a package was compiled during the mismatch check. #7912

merged 4 commits into from
Sep 20, 2025

Conversation

@nojaf
Copy link
Member

@nojaf nojaf commented Sep 19, 2025

Fixes #7908
@pkg-pr-new
Copy link

pkg-pr-new bot commented Sep 19, 2025

Open in StackBlitz

rescript

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

@rescript/darwin-arm64

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

@rescript/darwin-x64

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

@rescript/linux-arm64

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

@rescript/linux-x64

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

@rescript/runtime

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

@rescript/win32-x64

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

commit: 730f613
@nojaf nojaf marked this pull request as ready for review September 19, 2025 19:24
@nojaf nojaf requested a review from cknitt September 19, 2025 19:24
cknitt
cknitt approved these changes Sep 20, 2025
View reviewed changes
Copy link
Member

@cknitt cknitt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested and works fine for me! 👍
@nojaf nojaf merged commit 74d2492 into rescript-lang:master Sep 20, 2025
25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@nojaf @cknitt