You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Basically, what the title says. Is it possible to run the playground server and especially the whiteboard and explorer feature locally? I built the binaries locally and can run the model checker but I do not seem to find an option to run the playground locally. The main.go file has a -playground option but that just seems to set a specific set of settings.
The text was updated successfully, but these errors were encountered:
Basically, what the title says. Is it possible to run the playground server and especially the whiteboard and explorer feature locally? I built the binaries locally and can run the model checker but I do not seem to find an option to run the playground locally. The main.go file has a
-playground
option but that just seems to set a specific set of settings.The text was updated successfully, but these errors were encountered: