Changes

#3 (Sep 1, 2026, 2:20:46 PM)

1. made jenkins jax tests faster by running them not so extensively — Daniel Ebel / githubweb

#2 (Sep 1, 2026, 12:22:42 PM)

1. limited to only one process. Find out built time — Daniel Ebel / githubweb