From: Matthias Maier Date: Mon, 3 Jul 2023 03:39:20 +0000 (+0000) Subject: Merge pull request #15598 from tjhei/jenkins-schedule-random X-Git-Tag: relicensing~798 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e6c071e0f3ac2cfea2d6452236f3e0e0b927b98c;p=dealii.git Merge pull request #15598 from tjhei/jenkins-schedule-random jenkins: test in random order --- e6c071e0f3ac2cfea2d6452236f3e0e0b927b98c