Skip to content
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

Expose version info in nemo-wasm and add cargo config #400

Merged
merged 1 commit into from
Nov 7, 2023
Merged

Expose version info in nemo-wasm and add cargo config #400

merged 1 commit into from
Nov 7, 2023

Conversation

rlwww
Copy link
Collaborator

@rlwww rlwww commented Nov 6, 2023

No description provided.

@rlwww rlwww linked an issue Nov 6, 2023 that may be closed by this pull request
Expose reasoner version through nemo-wasm #399
Closed
@rlwww rlwww requested a review from mmarx November 6, 2023 18:28
@mmarx mmarx added enhancement New feature or request wasm issue related to compiling for the Web Assembly target labels Nov 6, 2023
@mmarx mmarx added this to the Release 0.4.0 milestone Nov 6, 2023
@mmarx
Copy link
Member

mmarx commented Nov 6, 2023

Looks good, but note that the recent dictionary merge broke the wasm build :/

@mmarx mmarx merged commit c8e83ff into main Nov 7, 2023
7 checks passed
@mmarx mmarx deleted the feature/399-nemo-wasm-version branch November 7, 2023 10:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mmarx mmarx mmarx approved these changes

Assignees
No one assigned
Labels
enhancement New feature or request wasm issue related to compiling for the Web Assembly target
Projects
nemo
Archived in project
Milestone
Release 0.4.0
Development

Successfully merging this pull request may close these issues.

Expose reasoner version through nemo-wasm
2 participants
@rlwww @mmarx