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.

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

Build OpenCascade when building the Worker #54

Conversation

martinRenou
Copy link
Member

And do not commit the output

@github-actions
Copy link
Contributor

github-actions bot commented Dec 5, 2022

Binder 👈 Launch a Binder on branch martinRenou/jupytercad/opencascade_build_wasm_when_build_worker

@martinRenou martinRenou force-pushed the opencascade_build_wasm_when_build_worker branch 3 times, most recently from c6647d5 to 79c5d9b Compare December 6, 2022 09:16
And do not commit the output
@martinRenou martinRenou force-pushed the opencascade_build_wasm_when_build_worker branch from 832202c to 1993590 Compare December 6, 2022 10:40
@martinRenou martinRenou force-pushed the opencascade_build_wasm_when_build_worker branch from f92aa14 to a537154 Compare December 6, 2022 11:00
@martinRenou martinRenou marked this pull request as ready for review December 6, 2022 12:03
@martinRenou martinRenou force-pushed the opencascade_build_wasm_when_build_worker branch from c55dc48 to 2a90b33 Compare December 6, 2022 12:03
@martinRenou martinRenou merged commit 9871481 into jupytercad:main Dec 6, 2022
@martinRenou martinRenou deleted the opencascade_build_wasm_when_build_worker branch December 6, 2022 12:12
martinRenou added a commit to martinRenou/jupytercad that referenced this pull request Dec 6, 2022
* Build OpenCascade when building the Worker

And do not commit the output

* Draft

* Prevent running check-manifest when not needed
martinRenou added a commit that referenced this pull request Dec 6, 2022
* Build OpenCascade when building the Worker

And do not commit the output

* Draft

* Prevent running check-manifest when not needed
@trungleduc trungleduc added the enhancement New feature or request label Dec 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants