Skip to content

Feature/sandbox wasm registry#2

Merged
Karthikprasadm merged 9 commits intomainfrom
feature/sandbox-wasm-registry
Sep 16, 2025
Merged

Feature/sandbox wasm registry#2
Karthikprasadm merged 9 commits intomainfrom
feature/sandbox-wasm-registry

Conversation

@Karthikprasadm
Copy link
Owner

Summary

Describe the change and its motivation.

Changes

  • What did you add/update/remove?
  • Any breaking changes?

Testing

  • How did you test this change? Include commands, sample .sup programs, or screenshots.

Checklist

  • Tests added/updated (if applicable)
  • Docs updated (README/docs) if behavior changed
  • CI passes locally (pytest -q sup-lang)
  • Linked issue (if any)

cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

cursor[bot]

This comment was marked as outdated.

@Karthikprasadm Karthikprasadm merged commit d6d213a into main Sep 16, 2025
1 of 18 checks passed
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.

1 participant