4 commits

Author	SHA1	Message	Date
Brandon Rozek	d9a893e487	Checkout submodule	2023-03-30 16:01:12 -04:00
Brandon Rozek	067db0e5b8	Updating java version	2023-03-30 15:58:37 -04:00
Brandon Rozek	97843c79e0	Install ShadowProver first	2023-03-30 15:55:21 -04:00
Brandon Rozek	007c87e57e	GitHub Compile Action	2023-03-30 15:51:01 -04:00