]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16075 from marcfehling/race
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 2 Oct 2023 01:02:29 +0000 (19:02 -0600)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2023 01:02:29 +0000 (19:02 -0600)
commit64eb806c2a9c1251ac74e4eb30daad21b04f61a1
tree5e0679061c5476be4a21b34844241497b7f8fb46
parente99d958411fc6953ae347097d92a98e3966fbfda
parent8f3a4ade5968b3ed64d6e46f55fd297d0f82a6ee
Merge pull request #16075 from marcfehling/race

github-actions: fix a race condition.

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.