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

Hotfixes/110223 #1118

Merged

jarosenb merged 3 commits into main from hotfixes/110223

Nov 3, 2023

Member

jarosenb commented Nov 3, 2023

Overview:

Fix improperly commented UI in published simulations
Fix infinite looping websocket bug

Jake Rosenberg added 3 commits

November 2, 2023 21:20


          Fix NCO websockets

ce0487f


          Uncomment file nav UI in simulations

2e7b74f


          support old-style websocket paths

242e706

jarosenb merged commit 5628588 into main

2 checks passed

jarosenb deleted the hotfixes/110223 branch

November 3, 2023 02:27

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

Labels

None yet