(jdk)
| 798 | invoke_lein(init_command, jdk_path=jdk) |
| 799 | |
| 800 | def run_tests(jdk): |
| 801 | invoke_lein(['with-profile', '+headless', 'check-and-exit'], jdk_path=jdk) |
| 802 | invoke_lein(['test'], jdk_path=jdk) |
| 803 | # test that docs can be successfully produced |
| 804 | write_docs('target/docs', jdk_path=jdk) |
| 805 | |
| 806 | def test(options): |
| 807 | for platform in options.target_platform: |
no test coverage detected