Eli Schwartz e082f268bd CI images: add the JRE to Ubuntu ... This is needed in order to test a pending improvement to the jni dependency in #10048.		2022-03-03 17:52:43 -05:00
..
ciimage	CI images: add the JRE to Ubuntu	2022-03-03 17:52:43 -05:00
run.ps1	bump minimum required version of python to 3.7	2022-01-10 18:36:56 -05:00
upload_cov.sh	coverage: Enable coverage reports	2021-06-22 21:05:11 +03:00
usercustomize.py	coverage: Enable coverage reports	2021-06-22 21:05:11 +03:00