]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aee145a)
Second try 11650/head
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 29 Jan 2021 09:26:25 +0000 (10:26 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Fri, 29 Jan 2021 09:26:32 +0000 (10:26 +0100)
.github/workflows/cancelling.yml patch | blob | history

diff --git a/.github/workflows/cancelling.yml b/.github/workflows/cancelling.yml
index ca8ec52261c4df61c239dca99d6e2388efaa2e29..705334fd4d6ad97d9449b30ef7c383adbda739d3 100644 (file)
--- a/.github/workflows/cancelling.yml
+++ b/.github/workflows/cancelling.yml
@@ -1,7 +1,7 @@
-name: Cancelling
+name: cancel-duplicates
 on:
   workflow_run:
-    workflows: ['CI']
+    workflows: ['github-docker', 'github-linux', 'github-OSX', 'github-windows', 'indent']
     types: ['requested']
 
 jobs:
Mirror of the development repository for deal.II

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.