]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Third attempt. 11651/head
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 29 Jan 2021 10:12:22 +0000 (11:12 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Fri, 29 Jan 2021 10:12:40 +0000 (11:12 +0100)
.github/workflows/cancelling.yml

index 705334fd4d6ad97d9449b30ef7c383adbda739d3..8134ce940d11bb4d837f6770bd7a35af10837387 100644 (file)
@@ -17,4 +17,3 @@ jobs:
           token: ${{ secrets.GITHUB_TOKEN }}
           sourceRunId: ${{ github.event.workflow_run.id }}
           notifyPRCancel: true
-          skipEventTypes: '["push", "schedule"]'

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.