Skip to content

JIT wasm: fix race in jit_stream_wasm#2286

Merged
bettio merged 1 commit intoatomvm:release-0.7from
pguyot:w18/fix-wasm-jit-race
Apr 29, 2026
Merged

JIT wasm: fix race in jit_stream_wasm#2286
bettio merged 1 commit intoatomvm:release-0.7from
pguyot:w18/fix-wasm-jit-race

Conversation

@pguyot
Copy link
Copy Markdown
Collaborator

@pguyot pguyot commented Apr 29, 2026

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

Signed-off-by: Paul Guyot <pguyot@kallisys.net>
@bettio bettio merged commit 517e29c into atomvm:release-0.7 Apr 29, 2026
13 checks passed
@pguyot pguyot deleted the w18/fix-wasm-jit-race branch April 29, 2026 19:33
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