]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11650 from luca-heltai/cancel-redundant-workflows-2
authorPeter Munch <peterrmuench@gmail.com>
Fri, 29 Jan 2021 09:59:05 +0000 (10:59 +0100)
committerGitHub <noreply@github.com>
Fri, 29 Jan 2021 09:59:05 +0000 (10:59 +0100)
commit4839c42ff041b48b65559e54edf787b383a422a4
treef9cba7dd15c179af94ad8ad5387e2e1a74ea36f5
parentaee145aaeb99b84ce55e687942118793e78de147
parent1610e8c787eca02778a22fafac661a2d2c1d7f2f
Merge pull request #11650 from luca-heltai/cancel-redundant-workflows-2

Second try at cancelling redundant workflows

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.