gcsim
gcsim copied to clipboard
add guide docs for server mode
- add a banner on simulator page that links to guide in docs, should say something like
Want to run sims faster? Check out <a href=...>server mode</a>.
- add .type() to Executor and selective show the banner if type is not server_mode