fix(sema): reject target gated builtin methods on wrong target #1890

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

Open

aryanbaranwal001 wants to merge 2 commits into hyperledger-solang:main from aryanbaranwal001:fix/builtin-method-target-check

Open

fix(sema): reject target gated builtin methods on wrong target #1890

Merge branch 'main' into fix/builtin-method-target-check

DCO-2 / DCO succeeded May 10, 2026 in 0s

Check passed!

All commits are signed off, the check passed.

Summary

	Sha	Message	Pass or fail reason
🟢	eabbe20	fix(sema): reject target gated builtin methods on ...	`Valid sign-off found`
🟢	bd5d4e4	Merge branch 'main' into fix/builtin-method-target...	`Skipped: sign-off not required in merge commit`

View more details on DCO-2