Commits on Source 19
-
Refactor the push() and pull() implementations so that API additions needed for remote-execution is made easier. #454
-
Martin Blanchard authored
Add push_directory() and push_message() helpers along with a verify_digest_pushed(). #454
-
Martin Blanchard authored
Add a pull_tree() helper. #454
-
Martin Blanchard authored
#454
-
This is for use after remote execution has finished, since remote execution produces a new output directory rather than modifying the initial directory. #454
-
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