]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12970 from masterleinad/replace_cancel_builds_on_update
authorTimo Heister <timo.heister@gmail.com>
Sat, 20 Nov 2021 00:24:38 +0000 (19:24 -0500)
committerGitHub <noreply@github.com>
Sat, 20 Nov 2021 00:24:38 +0000 (19:24 -0500)
commit079f8e939f1f0183e8af91ff40fd95582f92ee7e
tree7812e95043cc14818c5d1ef95ab1a1a793c088f3
parent108f08af053f656e375ca85026662f03c82c1338
parent1e94ad2db5b0facc326168f9e1992e141c25706f
Merge pull request #12970 from masterleinad/replace_cancel_builds_on_update

Replace cancel-builds-on-update by concurrency feature in the GitHub CI

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.