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

Attempt to fix wasm web deployment #102

Merged

antbern merged 3 commits into main from chore/fix-wasm

May 15, 2024

Owner

antbern commented May 15, 2024

update public url of trunk build job
exclude some config files on wasm deployment
change uses of std::time to web_time instead

antbern added 3 commits

May 15, 2024 11:15


          update publish step to build with the correct public path

ca527fd


          update configs and exclude some for the wasm build

f61ead8


          change uses of std::time with web_time to support wasm32

64a14ed

antbern merged commit d2608dd into main

6 checks passed

antbern deleted the chore/fix-wasm branch

May 15, 2024 09:47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet