java: update agent binary; #455

DMOJ · Oct 27, 2019 · 09a41af · 09a41af
1 parent 655258d
commit 09a41af
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/dmoj/executors/java_sandbox b/dmoj/executors/java_sandbox
diff --git a/dmoj/executors/java_sandbox.jar b/dmoj/executors/java_sandbox.jar
+18 −0		.github/workflows/build.yml
+27 −0		README.md
+41 −41		src/main/java/ca/dmoj/java/SubmissionAgent.java