From d47a6715ab4a8ce3647cf9f6bd4df8e298c86581 Mon Sep 17 00:00:00 2001 From: Armin Zavada Date: Mon, 30 Sep 2024 13:21:09 +0200 Subject: [PATCH] Updated build note --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 319a866..6d0edde 100644 --- a/README.md +++ b/README.md @@ -16,8 +16,7 @@ Run `gradlew build` to assemble the whole project, and execute all automated tes To execute all tests (even extremely slow, several days long tests!), run `gradlew allTests`. -NOTE: on windows machines, set script execution policy to unrestricted, because the build uses ps1 scripts. -Start elevated powershell, and run the following command: `Set-ExecutionPolicy Unrestricted`. +NOTE: Verification tests use Docker to run Theta. To run the build locally, ensure you have docker installed! ## Contribution