Commits on Source 14
-
This just adds one option, "remote-execution/url". Affects multiple files. #454
-
The remote execution client is implemented as a remote sandbox that sends sources and build commands to a REAPI server and fetches results once remotely executed. New file. #454
-
Executing run() on a sandbox can now replace the virtual directory, since remote execution returns a potentially different directory rather than an update to the existing one. Call get_virtual_directory() again after running to accout for this. #454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454
-
Martin Blanchard authored
#454