Skip to content

Commit

Permalink
Updated build note
Browse files Browse the repository at this point in the history
  • Loading branch information
@arminzavada
arminzavada committed Sep 30, 2024
1 parent a80ecda commit d47a671
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit d47a671

Please sign in to comment.