Skip to content

[wasm] Do not ignore wasm-out since it's required directly#2500

Merged
dsmilkov merged 1 commit intomasterfrom
fix-wasm-alpha
Dec 5, 2019
Merged

[wasm] Do not ignore wasm-out since it's required directly#2500
dsmilkov merged 1 commit intomasterfrom
fix-wasm-alpha

Conversation

@dsmilkov
Copy link
Copy Markdown
Contributor

@dsmilkov dsmilkov commented Dec 5, 2019

BUG

This fixes #1497 (comment)


This change is Reviewable

Copy link
Copy Markdown
Contributor

@nsthorat nsthorat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r1.
Reviewable status: :shipit: complete! 1 of 1 approvals obtained (waiting on @nsthorat)

@dsmilkov dsmilkov merged commit ce5efd5 into master Dec 5, 2019
@dsmilkov dsmilkov deleted the fix-wasm-alpha branch December 5, 2019 23:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add WASM backend

3 participants