]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15598 from tjhei/jenkins-schedule-random
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 03:39:20 +0000 (03:39 +0000)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2023 03:39:20 +0000 (03:39 +0000)
commite6c071e0f3ac2cfea2d6452236f3e0e0b927b98c
tree0aa27c5797ddde20ee7b94008513f98d8ad3d1f1
parent1768be388679579c4198baa15f8621821619022e
parent277853d3dc285604f2161b288d79223e6627b74e
Merge pull request #15598 from tjhei/jenkins-schedule-random

jenkins: test in random order

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.