Jacket
Search the docs
/
API
Tools
Playground
main
Autorun module
← Autorun
Procedures
run_native
run_build_result_of_workspace
get_plugin
init
message
shutdown
On this page
See also
std
/
Autorun
/
run_build_result_of_workspace
run_build_result_of_workspace
procedure
Source
run_build_result_of_workspace
:: (w: Workspace, args: []
string
= .[])
Parameters
w
:
Workspace
args
:
[]
string
=
.[]
See also
run_native
get_plugin
init