Skip to content
Back to pull request #3360

jenkins: add runTests.py --test-only to run in parallel #5658

Sign in to view logs

jenkins: add runTests.py --test-only to run in parallel

jenkins: add runTests.py --test-only to run in parallel #5658

mix fun and prob tests 5 (ubuntu-24.04-arm)

mix fun and prob tests 5 (ubuntu-24.04-arm)
succeeded Aug 31, 2026 in 2h 15m 29s