Look at this commit: https://hg-edge.mozilla.org/releases/mozilla-esr140/rev/b295e796caa7f5476197d8412a73e192ecfc03a1, it has SM changes but it is DONTBUILD. And thus hopping through many pushes we could not find any artifacts for last release: https://github.com/servo/mozjs/actions/runs/26106826562/job/76772893012#step:6:33 So https://github.com/servo/mozjs/pull/727 and thus https://github.com/servo/mozjs/pull/741 are not good.
Look at this commit: https://hg-edge.mozilla.org/releases/mozilla-esr140/rev/b295e796caa7f5476197d8412a73e192ecfc03a1, it has SM changes but it is DONTBUILD.
And thus hopping through many pushes we could not find any artifacts for last release: https://github.com/servo/mozjs/actions/runs/26106826562/job/76772893012#step:6:33
So #727 and thus #741 are not good.