Skip to content

Conversation

@dhdaines
Copy link
Contributor

Could they please NOT do this for once

@joanise
Copy link
Member

joanise commented Jan 31, 2024

Hmm, I failed to notice this PR. Is it still relevant? It didn't pass all CI, though, so I assume that needs to be re-run (the logs expired) and fixed before merging.

@dhdaines
Copy link
Contributor Author

Hm, I'll retest shortly...

@dhdaines
Copy link
Contributor Author

Is it still relevant?

Possibly not, though most likely Emscripten has changed a thousand other things which will require updates...

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.

3 participants